Principles of Model Checking
Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen
Discover references
Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen
Tod Golding
Sussking,Jamie
Scott,Kim Malone
Dominick Salvatore &Eugene Diulio
Benjamin Perkins;William Panek
Keir Thomas,Shashank Sharma
N.Y.) Metropolitan Museum of Art (New York
Richard M. Barsam
Jonathan Bunt
Roundtable on Translating Genomic-Based Research for Health,Lyla M. Hernandez
Harold Pearse
John Rossman
Stuart Redman
Mark G. Sobell
Perkins,Jacob Vibe Hammer,Jon D. Reid
Susan J. Fowler
John Clingan,Ken Finnigan
Christel Baier,Joost-Pieter Katoen
Mike Amundsen
Solomon,Michael R
David Faure
Ryan,Michael
Rawdon Wyatt
Ruth Gairns,Stuart Redman
Paul Debevec (auth.),Marc Pollefeys,Luc Van Gool,Andrew Zisserman,Andrew Fitzgibbon (eds.)
Duff Wilson
Simone Braverman,Stephen Slater
Penman,Dannny PhD
Steven D. Katz
Brian Ogren
Judith E. Glaser
Alex Pentland
Darrell Jobman(Editor)