A linear-time model checking algorithm for the alternation-free modal Mu-calculus

Cleaveland, Rance; Steffen, Bernhard

Berlin [u.a.] : Springer (1991)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Theoretical aspects of computer software : International Conference TACS '91, Sendai, Japan, September 24 - 27, 1991 ; proceedings / T. Ito ... (ed.)
Seite(n)/Artikel-Nr.: 186-196

Einrichtungen

  • [ama10]
  • Fachgruppe Informatik [120000]

Identifikationsnummern