Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev. Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. In 1st International Conference on Application of Concurrency to System Design (ACSD 98), 23-26 March 1998, Fukushima, Japan. pages 152, IEEE Computer Society, 1998. [doi]
Abstract is missing.