Principles of Model Checking
Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen
Discover references
Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen
Kevin J. Davey
Roman Shaposhnik,Claudio Martella,Dionysios Logothetis
Rasmus R. Paulsen,Thomas B. Moeslund
Lars Grüne,Jürgen Pannek (auth.)
Qin Wu,Eddie Fuller,Cun-Quan Zhang (auth.),I-Hsien Ting,Hui-Ju Wu,Tien-Hwa Ho (eds.)
Bruce A. Reed,Claudia L. Linhares-Sales
Yevgeniy Vorobeychik,Murat Kantarcioglu
Fuwei Li,Lifeng Lai,Shuguang Cui
Dietmar Jannach,Markus Zanker,Alexander Felfernig,Gerhard Friedrich
Alexander Felfernig (editor),Ludovico Boratto (editor),Martin Stettinger (editor),Marko Tkalčič (editor)
Uday Shankar Shanthamallu,Andreas Spanias
Pradeep Singh
Chris Solomon,Toby Breckon
Masatoshi Sakawa (auth.),Ichiro Nishizaki,Masatoshi Sakawa (eds.)
Michael Khachay,Yury Kochetov,Panos Pardalos
Yury Kochetov,Igor Bykadorov,Tatiana Gruzdeva
Alexander Kononov,Michael Khachay,Valery A Kalyagin,Panos Pardalos
Panos Pardalos (editor),Michael Khachay (editor),Vladimir Mazalov (editor)
Panos Pardalos (editor),Michael Khachay (editor),Alexander Kazakov (editor)
Panos Pardalos;Michael Khachay;Alexander Kazakov
Michael Khachay (editor),Yury Kochetov (editor),Anton Eremeev (editor),Oleg Khamisov (editor),Vladimir Mazalov (editor),Panos Pardalos (editor)
Victor Eijkhout
Karl Heinz Hoffmann,Arnd Meyer
Dan Butnariu, Yair CensorandSimeon Reich (Eds.)
Sanguthevar Rajasekaran,John Reif
Hong Shen (auth.),Anu G. Bourgeois,S. Q. Zheng (eds.)
C. Bischof,C. Bischof,M. Bucker,P. Gibbon,G. Joubert,T. Lippert
Jay Wengrow
Ion Mandoiu,Alexander Zelikovsky
J.E. Gentle,Wolfgang HSrdle,Yuichi Mori
J.E. Gentle,Wolfgang HSrdle