Deductive local model checking

These Ecole polytechnique federale de Lausanne EPFL, n° 2215 (2000)Faculte informatique et communicationsJury: Armin Biere, Dilian Gurov, Roger Hersch, Yonit Kesten, Martin Odersky Public defense: 2000-9-29 Reference doi:10.5075/epfl-thesis-2215Print copy in library catalog Record created on 2005-03-16, modified on 2016-08-08