Publication
-
Schedulability of Asynchronous Real-Time Concurrent Objects Article
Journal of Logic and Algebraic Programming, 402-416.January 2009
-
January 2009
-
January 2009
-
January 2009
-
Decomposing port automata In Proceedings
January 2009 -
January 2009
-
January 2009
-
Physik des Gewitters News Broadcast
January 2009