Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Kupferschmid, S, Dräger, K, Hoffmann, J, Finkbeiner, B, Dierks, H, Podelski, A, Behrmann, G
Ձևաչափ:	Conference item
Հրապարակվել է:	Springer−Verlag 2007

Նմանատիպ նյութեր