TY - CONF
TI - A modal logic formalism for scheduling dags
AU - Andronikos, Theodore
AU - Zachos, Stathis
PY - 2000
SP - 42-51
PB - World Scientific
T2 - Advances in informatics. 7th Hellenic Conference on Informatics (HCI '99)
ER -