| Publisher URL: | http://journal.ub.tu-berlin.de/eceasst/article/view/953 | Title: | Towards Model Checking Reconfigurable Petri Nets using Maude | Authors: | Padberg, Julia Schulz, Alexander |
Issue Date: | 2014 | Journal or Series Name: | Electronic communications of the EASST | Volume: | 68 | URI: | http://hdl.handle.net/20.500.12738/786 | Institute: | Department Informatik Fakultät Technik und Informatik |
Type: | Article |
| Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.