Previous
Next
Journal
- international journal on software tools for technology transfer4
- formal methods in system design3
- computer aided verification (9783540374060)2
- computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part i2
- concur 2009 - concurrency theory2
- tools & algorithms for the construction & analysis of systems 21st international conference, tacas 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings2
- automata, languages & programming (9783540275800)1
- computer aided verification (9783319216898)1
- computer aided verification (9783540272311)1