MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly

Schwarick 	, Martin; Heiner, Monika; Rohr, Christian

doi:10.1109/QEST.2011.19

Local TagsRelease HistoryDetailsSummary

MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly

Schwarick, M., Heiner, M., & Rohr, C. (2011). MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. In 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) (pp. 91-100).

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0000-EFD4-4 Version Permalink: https://hdl.handle.net/21.11116/0000-0000-EFD5-3

Genre: Conference Paper

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: Date issued: 2011

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: DOI: 10.1109/QEST.2011.19

Degree: -

Event

show

hide

Title: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST)

Place of Event: Aachen, Germany

Start-/End Date: 2011-09-05 - 2011-09-08

Legal Case

show

Project information

show

Source 1

show

hide

Title: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST)

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 91 - 100 Identifier: -