%0 Conference Paper %1 conf/forte/AmyotBBL95 %A Amyot, Daniel %A Bordeleau, Francis %A Buhr, Raymond J. A. %A Logrippo, Luigi %B FORTE %D 1995 %E von Bochmann, Gregor %E Dssouli, Rachida %E Rafiq, Omar %I Chapman & Hall %K dblp %P 57-72 %T Formal Support for Design Techniques: A Timethreads-LOTOS Approach. %U http://dblp.uni-trier.de/db/conf/forte/forte1995.html#AmyotBBL95 %V 43 %@ 0-412-73270-X

@inproceedings{conf/forte/AmyotBBL95, added-at = {2002-01-03T00:00:00.000+0100}, author = {Amyot, Daniel and Bordeleau, Francis and Buhr, Raymond J. A. and Logrippo, Luigi}, biburl = {https://www.bibsonomy.org/bibtex/2a09840e2f6a14ad5a706fabf846232a6/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1995}, date = {2002-01-03}, description = {dblp}, editor = {von Bochmann, Gregor and Dssouli, Rachida and Rafiq, Omar}, interhash = {f8e7b42d49d87b5b13268b149cb5796e}, intrahash = {a09840e2f6a14ad5a706fabf846232a6}, isbn = {0-412-73270-X}, keywords = {dblp}, pages = {57-72}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Formal Support for Design Techniques: A Timethreads-LOTOS Approach.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1995.html#AmyotBBL95}, volume = 43, year = 1995 }