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)
Full text not available from this repository. (Request a copy)Item Type: | Article |
---|---|
Subjects: | Q Science > Q Science (General) |
Divisions: | Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng. Faculty of Engineering and Natural Sciences |
Depositing User: | Cemal Yılmaz |
Date Deposited: | 01 Dec 2012 20:54 |
Last Modified: | 01 Aug 2019 09:53 |
URI: | https://research.sabanciuniv.edu/id/eprint/21048 |