| Titel | Automated Verification of Executable UML Models |
|---|---|
| Gepubliceerd in | Lecture Notes in Computer Science, Vol. 6957. ISSN 0302-9743. |
| Auteur | Hansen, H.H.; Ketema, J.; Luttik, S.P.; Mousavi, M.R.; Pol, J.C. van de; Santos, O. Marchi dos |
| Redacteur | Aichernig, B.K.; Boer, F.S. de; Bonsangue, M.M. |
| Datum | 2012-01-01 |
| Taal | Engels |
| Type | conference paper |
| Uitgever | Springer |
| Publicatie | https://repository.cwi.nl/noauth/search/fullrecord.php?publn... |
| OpenURL | Zoek deze publicatie in (uw) bibliotheek |
| Persistent Identifier | urn:NBN:nl:ui:18-18711 |
| Metadata | XML |
| Repository | NWO |
Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie