You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Tools and Algorithms for the Construction and Analysis of Systems: A construction and analysis tool based on the stochastic process algebra TIPP
Contributor:
Hermanns, Holger;
Mertsiotakis, Vassilis;
Rettelbach, Michael
Published:
Springer Berlin Heidelberg, 1996
Published in:
Tools and Algorithms for the Construction and Analysis of Systems (1996), Seite 427-430