%0 Conference Paper %1 conf/pstv/KhoumsiBD94 %A Khoumsi, Ahmed %A von Bochmann, Gregor %A Dssouli, Rachida %B PSTV %D 1994 %E Vuong, Son T. %E Chanson, Samuel T. %I Chapman & Hall %K dblp %P 185-200 %T On specifying services and synthesizing protocols for real-time applications. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1994.html#KhoumsiBD94 %V 1 %@ 0-412-63640-9

@inproceedings{conf/pstv/KhoumsiBD94, 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/2d9564782e30257772f3f3464ead50b0f/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1994}, date = {2002-01-03}, description = {dblp}, editor = {Vuong, Son T. and Chanson, Samuel T.}, interhash = {d7c36a0d00b7a7789a8b8b1963592ecc}, intrahash = {d9564782e30257772f3f3464ead50b0f}, isbn = {0-412-63640-9}, keywords = {dblp}, pages = {185-200}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {On specifying services and synthesizing protocols for real-time applications.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1994.html#KhoumsiBD94}, volume = 1, year = 1994 }