Data decision diagrams for Promela systems analysis
Vincent Beaudenon, Emmanuelle Encrenaz, Sami TaktakVolume:
12
Language:
english
Pages:
16
DOI:
10.1007/s10009-010-0135-0
Date:
September, 2010
File:
PDF, 457 KB
english, 2010