@inproceedings{1042975,
    title = "A modal logic formalism for scheduling dags",
    author = "Andronikos, Theodore and Zachos, Stathis",
    year = "2000",
    pages = "42-51",
    publisher = "World Scientific",
    booktitle = "Advances in informatics. 7th Hellenic Conference on Informatics (HCI '99)"
}