Specification and Verification of Component-Based Systems (SAVCBS)
Volltext online seit: | 2005 |
---|---|
Volltext online bis: | 2009 |
Fachgebiet: | |
Schlagwort: | |
Webseite: | |
Verlag: | Association for Computing Machinery (ACM) |
Erscheinungsweise: | Volltext, Online und Druckausgabe |
Kosten: | kostenpflichtig |
Anmerkung: | Proceedings of the ... International Workshop on Specification and Verification of Component-Based systems |
ZDB-Nummer: | 2683858-8 |