Deductive local model checking : on the verification of CTL* properties of infinite-state reactive systems
Christoph Sprenger · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2000
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