Branching-Time Model Checking Gap-Order Constraint Systems

Mayr, Richard, Totzke, Patrick, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

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:

143

Language:

english

Journal:

Fundamenta Informaticae

DOI:

10.3233/fi-2016-1317

Date:

March, 2016

File:

PDF, 141 KB

english, 2016

Conversion to is in progress

Conversion to is failed