|
@article{ST99h, author = {Uwe Schwiegelshohn and Lothar Thiele}, title = {Properties of Change Diagrams}, journal = {to appear in: In A. Yakovlev, L. Gomes, and L. Lavagno, editors, Hardware Design and Petri Nets}, pages = {77--92}, month = {Mar}, year = {2000} }