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: OPEN/CÆSAR: An open software architecture for verification, simulation, and testing
Contributor:
Garavel, Hubert
Published:
Springer Berlin Heidelberg, 1998
Published in:
Tools and Algorithms for the Construction and Analysis of Systems (1998), Seite 68-84