Bounded Strong Satisfiability Checking of Reactive System...

IEICE Transactions on Information and Systems 2014 Vol. E97.D; Iss. 7

Bounded Strong Satisfiability Checking of Reactive System Specifications

SHIMAKAWA, Masaya, HAGIHARA, Shigeki, YONEZAKI, Naoki
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:
E97.D
Year:
2014
Language:
english
Journal:
IEICE Transactions on Information and Systems
DOI:
10.1587/transinf.e97.d.1746
File:
PDF, 404 KB
english, 2014
Conversion to is in progress
Conversion to is failed