Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel. Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams. In DAC. pages 620-623, 1992. [doi]
@inproceedings{PixleyJH92,
title = {Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams},
author = {Carl Pixley and Seh-Woong Jeong and Gary D. Hachtel},
year = {1992},
url = {http://portal.acm.org/citation.cfm?id=113938.149645},
tags = {rule-based, synchronization, sequence diagrams},
researchr = {https://researchr.org/publication/PixleyJH92},
cites = {0},
citedby = {0},
pages = {620-623},
booktitle = {DAC},
}