UL Website
|
Imprint
|
Privacy Policy
|
Print
|
Home
Browse
Fulltexts
University bibliography
Statistics
About MADOC
Help
Contact
Login
Advanced Search
Back to overview
Export results as
ASCII Citation
BibTeX
CSL JSON
Dublin Core
Dublin Core Extended for FP7 projects
Dublin Core SFX
EP3 XML
EndNote
HTML Citation
JSON
MARC21 XML
Multiline CSV
Office Document
Reference Manager
RSS 1.0
RSS 2.0
Citation
Order by:
Document Type
|
Year of publication
|
No order
Skip to:
Conference or workshop publication
Number of items:
1
.
Conference or workshop publication
Majster-Cederbaum, Mila
;
Salger, Frank
Syntactic action refinement in the modal Mu-Calculus and its application to the verification of reactive systems.
Victor, Björn
Technical report / Department of Information Technology, Uppsala University 99/008 In: NWPT'99 : The 11th Nordic Workshop on Programming Theory, Uppsala University, Sweden, October 6-8 1999 ; proceedings (1999) Uppsala [Conference or workshop publication]
This list was created automatically on
Fri Jan 27 05:16:03 2023 CET