[IEEE Comput. Soc 41st Annual Symposium on Foundations of Computer Science - Redondo Beach, CA, USA (12-14 Nov. 2000)] Proceedings 41st Annual Symposium on Foundations of Computer Science - The common fragment of CTL and LTL
Maidi, M.Year:
2000
Language:
english
DOI:
10.1109/sfcs.2000.892332
File:
PDF, 896 KB
english, 2000