MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly

Schwarick, Martin; Heiner, Monika; Rohr, Christian

Local TagsRelease HistoryDetailsSummary

MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly

Schwarick, M., Heiner, M., & Rohr, C. (2013). MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. Talk presented at International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2013. Milano, Italy. 2013-06-24 - 2013-06-28.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0002-4D81-6 Version Permalink: https://hdl.handle.net/21.11116/0000-0002-4D82-5

Genre: Talk

Files

show Files

Locators

show

Creators

show

hide

Creators:
Schwarick, Martin¹, Author
Heiner, Monika¹, Author
Rohr, Christian^{1, 2}, Author

Affiliations:
1Brandenburg University of Technology, Cottbus, ou_persistent22
2International Max Planck Research School (IMPRS), Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society, DE, ou_1738143

Content

show

Details

show

hide

Language(s): eng - English

Dates: Created: 2013

Publication Status: Not specified

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: -

Degree: -

Event

show

hide

Title: International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2013

Place of Event: Milano, Italy

Start-/End Date: 2013-06-24 - 2013-06-28

Legal Case

show

Project information

show

Source

show