Publications of Nir Piterman - page 2
[1]
[2]
[1]
Fair Equivalence Relations
(
O. Kupferman
,
N. Piterman
,
M.Y. Vardi
)
,
In 20th Conference on the Foundations of Software Technology and Theoretical Computer Science
, volume 1974 of
Lecture Notes in Computer Science
,
© Springer-Verlag
, 2000.
[bib]
[pdf]
[1]
[2]
Powered by
bibtexbrowser