D. Cyrluk

发表

Harald Ruess, David Cyrluk, M. Oliver Möller, 1997, CAV.
Stephen J. Garland, J. Saxe, R. Boyer, 1992 .
Stephen J. Garland, J. Saxe, R. Boyer, 1992 .
J. Rushby, D. Cyrluk, Mandayam, 1997 .
Piero P. Bonissone, Jonathan Stillman, David A. Cyrluk, 2013, ArXiv.
Piero P. Bonissone, Jonathan Stillman, David A. Cyrluk, 1989, UAI.
Mandayam K. Srivas, David Cyrluk, John M. Rushby, 1997, First IEEE International Conference on Formal Engineering Methods.
Natarajan Shankar, Patrick Lincoln, David Cyrluk, 1996, CADE.
Natarajan Shankar, Mandayam K. Srivas, David Cyrluk, 1994, TPCD.
N. Shankar, M. Srivas, S. Rajan, 2009 .
Mandayam K. Srivas, David Cyrluk, M. Srivas, 1995, Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.
Paliath Narendran, David Cyrluk, P. Narendran, 1994, CAV.