Conference
On Some Implementation of Optimal Simulations.
Authors
Janicki R; Koutny M
Editors
Clarke EM; Kurshan RP
Series
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Volume
3
Pagination
pp. 231-250
Publisher
DIMACS/AMS
Publication Date
January 1, 1990
ISBN-13
978-0-8218-6594-1
Conference proceedings
CAV (DIMACS/AMS volume)