Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /

57

Bibliographic Details
Main Authors: International SPIN Workshop (14th : 2007 : Berlin, Germany), Bosnacki, Dragan, 1963-, Edelkamp, Stefan
Format:
Language:eng
Published: Berlin : Springer-Verlag, 2007
Subjects:
Computer software
Online Access:http://dx.doi.org/10.1007/978-3-540-73370-6
Description
Summary:57

Similar Items