%0 Conference Paper %1 conf/forte/KhoumsiBD99 %A Khoumsi, Ahmed %A von Bochmann, Gregor %A Dssouli, Rachida %B FORTE %D 1999 %E Wu, Jianping %E Chanson, Samuel T. %E Gao, Qiang %I Kluwer %K dblp %P 417-433 %T Protocol Synthesis for Real-Time Applications. %U http://dblp.uni-trier.de/db/conf/forte/forte1999.html#KhoumsiBD99 %V 156 %@ 0-7923-8646-9

@inproceedings{conf/forte/KhoumsiBD99, added-at = {2002-01-03T00:00:00.000+0100}, author = {Khoumsi, Ahmed and von Bochmann, Gregor and Dssouli, Rachida}, biburl = {https://www.bibsonomy.org/bibtex/2d74b1342fd89bd674ae63256a9587ead/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1999}, date = {2002-01-03}, description = {dblp}, editor = {Wu, Jianping and Chanson, Samuel T. and Gao, Qiang}, interhash = {ff65de1971438e0f46392b505cafc6df}, intrahash = {d74b1342fd89bd674ae63256a9587ead}, isbn = {0-7923-8646-9}, keywords = {dblp}, pages = {417-433}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Protocol Synthesis for Real-Time Applications.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1999.html#KhoumsiBD99}, volume = 156, year = 1999 }