Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
Jim Davies; Jeremy Gibbons (Hrsg). Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings. Berlin: Springer 2007 S. 233 - 252
Erscheinungsjahr: 2007
ISBN/ISSN: 978-3-540-73209-9
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-540-73210-5_13
| Geprüft | Bibliothek |
