Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking
['Nao IGAWA', 'Tomoyuki YOKOGAWA', 'Sousuke AMASAKI', 'Masafumi KONDO', 'Yoichir ...']
/
IEICE Transactions on Information and Systems
/ Vol. 103
/ No. 3
0.0 / 5
0
Reviews
You must log in to post, edit and delete a review.
Log in
Earn 50 points when your review is published.
About KnowledgeRank Points
No reviews have been posted yet. Be the first to write one!