[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - An Until hierarchy for temporal logic
Etessami, K., Wilke, T.Year:
1996
Language:
english
DOI:
10.1109/lics.1996.561310
File:
PDF, 984 KB
english, 1996