Deciding Properties of Regular Real Time Processes.

Uno Holmer, Kim Guldstrand Larsen, Wang Yi

Browse the full CAV paper archive.