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

by Helmut Seidl
Venue:IN ELEVENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, IEEE COMPUTER
Citations:1 - 0 self