Event-sequence testing using answer-set programming

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.

Item Type:	Article
Subjects:	Q Science > Q Science (General)
ID Code:	21048
Deposited By:	Cemal Yılmaz
Deposited On:	01 Dec 2012 20:54
Last Modified:	01 Dec 2012 20:54

Repository Staff Only: item control page