Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes

@inproceedings{Burkart1997ModelCT,
  title={Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes},
  author={Olaf Burkart and Bernhard Steffen},
  booktitle={ICALP},
  year={1997}
}

From This Paper

Topics from this paper.
53 Citations
0 References
Similar Papers