MPG.eBooks - Author Search Results

Cover Image

1

Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

by Bošnački, Dragan
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2

Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Published 2016

Springer International Publishing

Other Authors: “...Bošnački, Dragan...”

Cover Image

3

Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Bosnacki, Dragan...”

Cover Image

4

Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Bosnacki, Dragan...”