## Helmut Seidl

*A Modal μ-Calculus for Durational Transition Systems*

LICS, 1996.

@inproceedings{LICS-1996-Seidl, author = "Helmut Seidl", booktitle = "{Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1996.561312", isbn = "0-8186-7463-6", pages = "128--137", publisher = "{IEEE Computer Society}", title = "{A Modal μ-Calculus for Durational Transition Systems}", year = 1996, }