Login / Signup
Alexander Schulz
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 1
Top Topics
Concurrent Systems
Formal Specification
Petri Net
Temporal Properties
Top Venues
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
CoRR
ICGT
</>
Publications
</>
Julia Padberg
,
Alexander Schulz
Model Checking Reconfigurable Petri Nets with Maude.
ICGT
(2016)
Julia Padberg
,
Alexander Schulz
Towards Model Checking Reconfigurable Petri Nets using Maude.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
68 (2014)
Alexander Schulz
Model Checking for reconfigurable Petri nets.
CoRR
(2014)