Skip to main content


Export 3 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is V  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U [V] W X Y Z   [Show ALL]
Vardi, M. Y., "Branching vs. Linear Time: Final Showdown", Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), vol. 2031: Springer, pp. 1-22, 2001.