A
Menu
April 08, 1997 book-chapter

Model checking and the mu-calculus

DIMACS series in discrete mathematics and theoretical computer science

DOI: 10.1090/dimacs/031/06 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 146

1 result

References 0