@inproceedings{wpd:forte94, author = {Wang Yi and Paul Pettersson and Mats Daniels}, booktitle = {Proc.\ of the 7{\em th} Int.\ Conf.\ on Formal Description Techniques}, key = {forte94}, title = {{Automatic Verification of Real-Time Communicating Systems By Constraint-Solving}}, pages = {223--238}, editor = "Dieter Hogrefe and Stefan Leue", publisher = "North--Holland", year = {1994} }