Publisher DOI: 10.1007/978-3-319-40530-8_4
Title: Model Checking Reconfigurable Petri Nets with Maude
Authors: Padberg, Julia 
Schulz, Alexander 
Issue Date: 5-Jul-2016
Conference: Graph Transformation - th International Conference ; Wien 
URI: http://hdl.handle.net/20.500.12738/4157
Institute: Department Informatik 
Fakultät Technik und Informatik 
Type: Chapter/Article (Proceedings)
Appears in Collections:Publications without full text

Show full item record

Page view(s)

29
checked on Dec 25, 2024

Google ScholarTM

Check

HAW Katalog

Check

Add Files to Item

Note about this record

Export

Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.