![](/img/cover-not-exists.png)
[IEEE Comput. Soc. Press TIME '97: 4th International Workshop on Temporal Representation and Reasoning - Dayton Beach, FL, USA (10-11 May 1997)] Proceedings of TIME '97: 4th International Workshop on Temporal Representation and Reasoning - A resolution method for CTL branching-time temporal logic
Bolotov, A., Fisher, M.Year:
1997
Language:
english
DOI:
10.1109/time.1997.600777
File:
PDF, 639 KB
english, 1997