Bounded model checking of Time Petri Nets using SAT solver

IEICE Electronics Express 2015 Vol. 12; Iss. 2

Bounded model checking of Time Petri Nets using SAT solver

Yokogawa, Tomoyuki, Kondo, Masafumi, Miyazaki, Hisashi, Amasaki, Sousuke, 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:
12
Year:
2015
Language:
english
Journal:
IEICE Electronics Express
DOI:
10.1587/elex.11.20141112
File:
PDF, 884 KB
english, 2015
Conversion to is in progress
Conversion to is failed