M. Sgroi, A. Kondratyev, Y. Watanabe and Alberto L. Sangiovanni-Vincentelli
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M02/38
December 2002
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2002/ERL-02-38.pdf
BibTeX citation:
@techreport{Sgroi:M02/38, Author = {Sgroi, M. and Kondratyev, A. and Watanabe, Y. and Sangiovanni-Vincentelli, Alberto L.}, Title = {Synthesis of Petri Nets from MSC-based Specifications}, Institution = {EECS Department, University of California, Berkeley}, Year = {2002}, Month = {Dec}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2002/4034.html}, Number = {UCB/ERL M02/38} }
EndNote citation:
%0 Report %A Sgroi, M. %A Kondratyev, A. %A Watanabe, Y. %A Sangiovanni-Vincentelli, Alberto L. %T Synthesis of Petri Nets from MSC-based Specifications %I EECS Department, University of California, Berkeley %D 2002 %@ UCB/ERL M02/38 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2002/4034.html %F Sgroi:M02/38