Results
|
|
1.
|
Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings / Dragan Bošnački, Anton Wijs (eds.). by Series: Lecture notes in computer science ; 9641. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|