Flash memory efficient LTL model checking
S. Edelkamp, D. Sulewski, J. Barnat, L. Brim, P. ŠimečekVolume:
76
Year:
2011
Language:
english
Pages:
22
DOI:
10.1016/j.scico.2010.03.005
File:
PDF, 459 KB
english, 2011