TY - CONF
TI - A distributed temporal logic framework for the verification and synthesis of reactive systems
AU - Andronikos, Theodore
AU - Potikas, Petros M.
AU - Zachos, Stathis
PY - 2001
SP - 1-9
PB - Εκδοτικός Οργανισμός Λιβάνη
T2 - 8th Panhellenic Conference in Informatics Proceedings (Volume 2)
ER -