Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/icci/MullerSS92
%A Muller, David E.
%A Schupp, Paul E.
%A Saoudi, Ahmed
%B ICCI
%D 1992
%E Koczkodaj, Waldemar W.
%E Lauer, Peter E.
%E Toptsis, Anestis A.
%I IEEE Computer Society
%K dblp
%P 2-5
%T On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory.
%U http://dblp.uni-trier.de/db/conf/icci/icci1992.html#MullerSS92
%@ 0-8186-2812-X
@inproceedings{conf/icci/MullerSS92,
added-at = {2002-04-15T00:00:00.000+0200},
author = {Muller, David E. and Schupp, Paul E. and Saoudi, Ahmed},
biburl = {https://www.bibsonomy.org/bibtex/2e82119567810d754c199492a5ae59edc/dblp},
booktitle = {ICCI},
crossref = {conf/icci/1992},
date = {2002-04-15},
description = {dblp},
editor = {Koczkodaj, Waldemar W. and Lauer, Peter E. and Toptsis, Anestis A.},
interhash = {c2a39e40acd07e951c382561c58c3416},
intrahash = {e82119567810d754c199492a5ae59edc},
isbn = {0-8186-2812-X},
keywords = {dblp},
pages = {2-5},
publisher = {IEEE Computer Society},
timestamp = {2002-04-15T00:00:00.000+0200},
title = {On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory.},
url = {http://dblp.uni-trier.de/db/conf/icci/icci1992.html#MullerSS92},
year = 1992
}