Go to main content
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Linked e-resources

Details

Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
Defining Meaningful Local Process Models
Distributed Synthesis of Asynchronously Communicating Distributed Process Models
Using Approximation for the Verification of Token-Scaling Models
Portfolio Management in Explicit Model Checking
Practical Distributed Implementation of Very Large Scale Petri Net Simulations.

Browse Subjects

Statistics

from
to
Export