Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0


Order by: Document Type | Year of publication | No order
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