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

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

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_47

File:

PDF, 265 KB

english, 2003

Conversion to is in progress

Conversion to is failed