Vincent Beaudenon, Emmanuelle Encrenaz, Sami Taktak. Data decision diagrams for Promela systems analysis. STTT, 12(5):337-352, 2010. [doi]
@article{BeaudenonET10, title = {Data decision diagrams for Promela systems analysis}, author = {Vincent Beaudenon and Emmanuelle Encrenaz and Sami Taktak}, year = {2010}, doi = {10.1007/s10009-010-0135-0}, url = {http://dx.doi.org/10.1007/s10009-010-0135-0}, tags = {analysis, data-flow analysis}, researchr = {https://researchr.org/publication/BeaudenonET10}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {12}, number = {5}, pages = {337-352}, }