Symbolic Representation of Time Petri Nets for Efficient...

IEICE Transactions on Information and Systems 2020 / 3 Vol. E103.D; Iss. 3

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking

IGAWA, Nao, YOKOGAWA, Tomoyuki, AMASAKI, Sousuke, KONDO, Masafumi, SATO, Yoichiro, ARIMOTO, Kazutami
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
E103.D
Journal:
IEICE Transactions on Information and Systems
DOI:
10.1587/transinf.2019edl8086
Date:
March, 2020
File:
PDF, 100 KB
2020
Conversion to is in progress
Conversion to is failed