Introduction to Modal and Temporal Mu-Calculi

CONCUR 2002 — Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-45694-5_6 ◽

2002 ◽

pp. 98-98

Author(s):

Julian C. Bradfield

Download Full-text