Bošnački, Dragan.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Model Checking Software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
by:
SpringerLink (Online service); Bošnački, Dragan.; Wijs, Anton.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]