![](/img/cover-not-exists.png)
Abstract property language for MDG model checking methodology
Sa', N.A., Abed, ed, Hussain, Kamran, Mohamed, Otmane AitVolume:
44
Year:
2012
Language:
english
Journal:
International Journal of Computer Applications in Technology
DOI:
10.1504/ijcat.2012.048205
File:
PDF, 1.21 MB
english, 2012