Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.
IFM. 2007 S. 233 - 252
Erscheinungsjahr: 2007
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-540-73210-5_13
Geprüft | Bibliothek |
IFM. 2007 S. 233 - 252
Erscheinungsjahr: 2007
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-540-73210-5_13
Geprüft | Bibliothek |