| Verlagslink: | http://journal.ub.tu-berlin.de/eceasst/article/view/953 | Titel: | Towards Model Checking Reconfigurable Petri Nets using Maude | Autorenschaft: | Padberg, Julia Schulz, Alexander |
Erscheinungsdatum: | 2014 | Zeitschrift oder Schriftenreihe: | Electronic communications of the EASST | Zeitschriftenband: | 68 | URI: | http://hdl.handle.net/20.500.12738/786 | Einrichtung: | Department Informatik Fakultät Technik und Informatik |
Dokumenttyp: | Zeitschriftenbeitrag |
| 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.