TCTL Model Checking of Time Petri Nets

标题
TCTL Model Checking of Time Petri Nets
作者
关键词
-
出版物
JOURNAL OF LOGIC AND COMPUTATION
Volume 19, Issue 6, Pages 1509-1540
出版商
Oxford University Press (OUP)
发表日期
2009-07-08
DOI
10.1093/logcom/exp036

向作者/读者发起求助以获取更多资源

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Create your own webinar

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now