%0 Conference Paper %1 conf/forte/YiPD94 %A Yi, Wang %A Pettersson, Paul %A Daniels, Mats %B FORTE %D 1994 %E Hogrefe, Dieter %E Leue, Stefan %I Chapman & Hall %K dblp %P 243-258 %T Automatic verification of real-time communicating systems by constraint-solving. %U http://dblp.uni-trier.de/db/conf/forte/forte1994.html#YiPD94 %V 6 %@ 0-412-64450-9

@inproceedings{conf/forte/YiPD94, added-at = {2012-12-07T00:00:00.000+0100}, author = {Yi, Wang and Pettersson, Paul and Daniels, Mats}, biburl = {https://www.bibsonomy.org/bibtex/2b1f60acc71f26842c309125319943c27/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1994}, editor = {Hogrefe, Dieter and Leue, Stefan}, interhash = {e5af969ac59c72ace7063efa23205fcd}, intrahash = {b1f60acc71f26842c309125319943c27}, isbn = {0-412-64450-9}, keywords = {dblp}, pages = {243-258}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2012-12-08T11:50:46.000+0100}, title = {Automatic verification of real-time communicating systems by constraint-solving.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1994.html#YiPD94}, volume = 6, year = 1994 }