Systems and Software Verification: Model-Checking Techniques and Tools

Author: Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie (auth.)
Publisher: Springer-Verlag Berlin Heidelberg
Language: English
Edition: 1
Year: 2001
Page: 190
ISBN: 978-3-642-07478-3,978-3-662-04558-9
File Type: pdf
File Size: 6.2 MiB

Just click on START button on Telegram Bot