A Modal µ-Calculus for Durational Transition Systems (1996)

by Se96 Seidl, H
Venue:In Eleventh Annual IEEE Symposium on Logic In Computer Science, IEEE Computer