title   
  

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