Parallel model checking for the alternation free mu-calculus

Bollig, Benedikt; Weber, Michael; Leucker, Martin

doi:0302-9743

Parallel model checking for the alternation free mu-calculus

Bollig, Benedikt (Author) ; Leucker, Martin (Author) ; Weber, Michael (Author)

In
Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings / TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001. Tiziana Margaria; Wang Yi (eds.), Seiten/Artikel-Nr: 543-558

2001

Konferenz/Event:Tools and algorithms for the construction and analysis of systems : 7. international conference , Genova , Italy , TACAS 2001 , 2001-04-02 - 2001-04-06

Konferenz/Event:Joint European Conferences on Theory and Practice of Software , Genova , Italy , ETAPS 2001 , 2001-04-02 - 2001-04-06

ImpressumBerlin ; Heidelberg ; New York : Springer

Umfang543-558

ISBN3-540-41865-2

ReiheLecture notes in computer science ; 2031