Question 1

Who is the author of Automatic verification of sequential infinite-state processes [electronic resource]?

Accepted Answer

The author of the book 'Automatic verification of sequential infinite-state processes [electronic resource]'is Burkart, Olaf. and this book published in 1997

Question 2

What is the Publish date of Automatic verification of sequential infinite-state processes [electronic resource]?

Accepted Answer

'Automatic verification of sequential infinite-state processes [electronic resource]' was published in 1997.

Question 3

What is the publisher name of the book Automatic verification of sequential infinite-state processes [electronic resource]?

Accepted Answer

The name of the publisher is Berlin ; New York : Springer.

Question 4

Is this book Automatic verification of sequential infinite-state processes [electronic resource] have a pdf version?

Accepted Answer

Yes Offcourse this book have pdf version , not only its have many versionAutomatic verification of sequential infinite-state processes [electronic resource].

Question 5

Automatic verification of sequential infinite-state processes [electronic resource]?

Accepted Answer