| Verlagslink DOI: | 10.1007/978-3-319-40530-8_4 | Titel: | Model Checking Reconfigurable Petri Nets with Maude | Autorenschaft: | Padberg, Julia Schulz, Alexander |
Erscheinungsdatum: | 5-Jul-2016 | Konferenz: | Graph Transformation - th International Conference ; Wien | URI: | http://hdl.handle.net/20.500.12738/4157 | Einrichtung: | Department Informatik Fakultät Technik und Informatik |
Dokumenttyp: | Konferenzveröffentlichung |
| Enthalten in den Sammlungen: | Publications without full text |
Zur Langanzeige
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.