Publikationsdetails

Zitat:	Robert Barta, "Formal Specification of Distributed Systems - A Discrete Space-Time Logic" , 1995, R. Barta: Formal Specification of Distributed Systems - A Discrete Space-Time Logic, Dissertation an der Johannes Kepler Universität Linz, 1995.
Original Titel:	Formal Specification of Distributed Systems - A Discrete Space-Time Logic
Sprache des Titels:	Englisch
Erscheinungsjahr:	1995
Notiz zum Zitat:	R. Barta: Formal Specification of Distributed Systems - A Discrete Space-Time Logic, Dissertation an der Johannes Kepler Universität Linz, 1995.
URL zu weiteren Infos:	Institut für Bioinformatik - Publikationen (http://www.ifs.uni-linz.ac.at/ifs/research/publications/phdtheses/finished.html)
Reichweite:	international
Publikationstyp:	Dissertation
Autoren:	Robert Barta
Forschungseinheiten:	Institut für Machine Learning

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum