Publication

[HartmannsHK16] Schedulers are no Prophets Hartmanns, A.; Hermanns, H. and Krcál, J. In Semantics, Logics, and Calculi'16, pages 214-235, LNCS 9560, 2016.
Downloads: bib