On the Amount of Nondeterminism and the Power of Verifying (Extended Abstract).
Conference Paper
-
- Overview
-
- Additional Document Info
-
- View All
-
Overview
name of conference
-
Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings
author list (cited authors)
complete list of authors
publication date
Additional Document Info