MARCIE’s Secrets of Efficient Model Checking

Heiner, Monika; Rohr, Christian; Schwarick 	, Martin; Tovchigrechko, Alexey A.

doi:10.1007/978-3-662-53401-4_14

Local TagsRelease HistoryDetailsSummary

MARCIE’s Secrets of Efficient Model Checking

Heiner, M., Rohr, C., Schwarick, M., & Tovchigrechko, A. A. (2016). MARCIE’s Secrets of Efficient Model Checking. In Transactions on petri nets and other models of concurrency XI. Lecture Notes in Computer Science (pp. 286-296). Berlin, Heidelberg: Springer.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0000-EFEA-C Version Permalink: https://hdl.handle.net/21.11116/0000-0000-EFEB-B

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
Heiner, Monika¹, Author
Rohr, Christian^{1, 2}, Author
Schwarick , Martin¹, Author
Tovchigrechko, Alexey A.¹, 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: 2016

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: DOI: 10.1007/978-3-662-53401-4_14

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Transactions on petri nets and other models of concurrency XI. Lecture Notes in Computer Science

Source Genre: Book

Creator(s):

Affiliations:

Publ. Info: Berlin, Heidelberg : Springer

Pages: - Volume / Issue: 9930 Sequence Number: - Start / End Page: 286 - 296 Identifier: ISBN: 978-3-662-53400-7