ID:DA09805189
Search authors sharing the same name
Springer c2018 Lecture notes in computer science 11247 . LNCS sublibrary ; SL 1 .Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 4
Available at 1 libraries
Springer c2018 Lecture notes in computer science 11246 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 3
Springer c2018 Lecture notes in computer science 11245 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 2
Springer c2018 Lecture notes in computer science 11244 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt . 1
Tiziana Margaria, Bernhard Steffen (eds.)
Springer c2006 Lecture notes in computer science 4313
Available at 7 libraries
Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Springer c1999 Lecture notes in computer science 1710
Available at 33 libraries
Bernhard Steffen, ed.
Springer c1998 Lecture notes in computer science 1384
Available at 41 libraries
Tiziana Margaria, Bernhard Steffen, (eds.)
Springer c1996 Lecture notes in computer science 1055
Available at 48 libraries