[Lecture Notes in Computer Science] FME 2003: Formal...

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Watchdog Transformations for Property-Oriented Model-Checking

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

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:

10.1007/b1

Year:

2003

Language:

english

DOI:

10.1007/978-3-540-45236-2_33

File:

PDF, 196 KB

english, 2003

Conversion to is in progress

Conversion to is failed