@inproceedings{1041877,
    title = "A distributed temporal logic framework for the verification and synthesis of reactive systems",
    author = "Andronikos, Theodore and Potikas, Petros M. and Zachos, Stathis",
    year = "2001",
    pages = "1-9",
    publisher = "Εκδοτικός Οργανισμός Λιβάνη",
    booktitle = "8th Panhellenic Conference in Informatics Proceedings (Volume 2)"
}