Runtime Verification Based on Register Automata

Detaylı Bibliyografya
Asıl Yazarlar: Grigore, R, Distefano, D, Petersen, R, Tzevelekos, N
Materyal Türü: Conference item
Baskı/Yayın Bilgisi: Springer 2013