Publication
-
January 2012
-
Renarration of Megamodels Presentation
January 2012 -
Grammar Convergence Presentation
January 2012 -
January 2012
-
January 2012
-
January 2012
-
Invited talk Logic Programming: Systems and Applications, Stony Brook, New York, September, 2012. Lecture
January 2012 -
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages In Proceedings
January 2012