 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | |||||||||||||||||
| Wissensbrowser starten | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Literatur |
|
LSC verification for UML models with unbounded creation and decontruction |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| In: Byron Cook, Scott Stoller, and Willem Visser, editors, SoftMC
2005, Workshop on Software Model Checking (Satellite Workshop of CAV '05), ENTCS. Elsevier B.V., July 2005. To appear. | |||||||||
| |||||||||
| Autoren | |||||||||
| |||||||||
| Westphal, Bernd | |||||||||
| |||||||||
| Publikationstyp | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| LSC verification for... | ||||
| ||||
| ||||
| ||||
| ||||
| Dokumentiert Erfahrungen | | ||
| ||||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
