TCTL Model Checking of Time Petri Nets

Title
TCTL Model Checking of Time Petri Nets
Authors
Keywords
-
Journal
JOURNAL OF LOGIC AND COMPUTATION
Volume 19, Issue 6, Pages 1509-1540
Publisher
Oxford University Press (OUP)
Online
2009-07-08
DOI
10.1093/logcom/exp036

Ask authors/readers for more resources

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started