%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 }