ENFORCING CONCURRENT TEMPORAL BEHAVIORS
PELED, DORON, QU, HONGYANGVolume:
17
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S012905410600408X
Date:
August, 2006
File:
PDF, 1.11 MB
english, 2006