PLTL-partitioned model checking for reactive systems under...

ACM Transactions on Embedded Computing Systems 2005 / 05 Vol. 4; Iss. 2

PLTL-partitioned model checking for reactive systems under fairness assumptions

Chouali, S., Julliand, J., Masson, P.-A., Bellegarde, F.
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:
4
Language:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/1067915.1067918
Date:
May, 2005
File:
PDF, 726 KB
english, 2005
Conversion to is in progress
Conversion to is failed