Suchergebnis

• Model checking Clarke, Edmund M. ; Grumberg, Orna ; Kröning, Daniel ; Peled, Doron ; Veith, Helmut second edition, Cambridge, MA ; London : The MIT Press, 2018

• Software engineering and formal methods 12th international conference, SEFM 2014 Grenoble, France, September 1 - 5, 2014 ; proceedings Giannakopoulou, Dimitra (Hrsg.) ; SEFM <12., 2014, Grenoble> Cham [u.a.] : Springer, 2014

• Software engineering and formal methods 13th international conference, SEFM 2015, York, UK, September 7 - 11, 2015 ; proceedings Calinescu, Radu C. (Hrsg.) ; SEFM <13., 2015, York> Cham [u.a.] : Springer, 2015

• Tools and algorithms for the construction and analysis of systems 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Chechik, Marsha (Hrsg.) ; Raskin, Jean-François (Hrsg.) ; TACAS <22., 2016, Eindhoven> ; ETAPS <19., 2016, Eindhoven> Berlin : Springer, 2016