Creator/Author/Editor: Barin, Martin

Warning The system is temporarily closed to updates for reporting purpose.


Barin, Martin and Erdem, Esra and Inoue, Katsumi and Oetsch, Johannes and Puhrer, Jorg and Tompits, Hans and Yılmaz, Cemal (2012) Event-sequence testing using answer-set programming. (Accepted/In Press)

This list was generated on Sat Sep 18 06:48:38 2021 +03.