Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators

Rohr, Christian

Local TagsRelease HistoryDetailsSummary

Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators

Rohr, C. (2013). Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators. In Transactions on Petri Nets and Other Models of Concurrency VIII. Lecture Notes in Computer Science (pp. 142-158). Berlin, Heidelberg: Springer.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0000-EFDB-D Version Permalink: https://hdl.handle.net/21.11116/0000-0000-EFDC-C

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
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: 2013

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: -

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Transactions on Petri Nets and Other Models of Concurrency VIII. Lecture Notes in Computer Science

Source Genre: Book

Creator(s):

Affiliations:

Publ. Info: Berlin, Heidelberg : Springer

Pages: - Volume / Issue: 8100 Sequence Number: - Start / End Page: 142 - 158 Identifier: -