Chicago Journal of Theoretical Computer Science
, 1998
Volume 1998, 1998
Thomas Thierauf
:
The Isomorphism Problem for Read-Once Branching Programs and Arithmetic Circuits.
Electronic Edition
(link)
BibTeX
Orna Kupferman
,
Moshe Y. Vardi
:
Verification of Fair Transition Systems.
Electronic Edition
(link)
BibTeX
Yehuda Afek
,
Anat Bremler-Barr
:
Self-Stabilizing Unidirectional Network Algorithms by Power Supply.
Electronic Edition
(link)
BibTeX
Sandeep S. Kulkarni
,
Anish Arora
:
Multitolerance in Distributed Reset.
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:52:46 2009 by
Michael Ley
(
ley@uni-trier.de
)