%0 Conference Paper %1 conf/forte/LuchangcoSGL94 %A Luchangco, Victor %A Söylemez, Ekrem %A Garland, Stephen J. %A Lynch, Nancy A. %B FORTE %D 1994 %E Hogrefe, Dieter %E Leue, Stefan %I Chapman & Hall %K dblp %P 259-273 %T Verifying timing properties of concurrent algorithms. %U http://dblp.uni-trier.de/db/conf/forte/forte1994.html#LuchangcoSGL94 %V 6 %@ 0-412-64450-9

@inproceedings{conf/forte/LuchangcoSGL94, added-at = {2002-01-03T00:00:00.000+0100}, author = {Luchangco, Victor and Söylemez, Ekrem and Garland, Stephen J. and Lynch, Nancy A.}, biburl = {https://www.bibsonomy.org/bibtex/2fa379f75f9c87ca478f86da2f71bd657/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1994}, date = {2002-01-03}, description = {dblp}, editor = {Hogrefe, Dieter and Leue, Stefan}, interhash = {437b97422b2bef1eb80c712eeb559a02}, intrahash = {fa379f75f9c87ca478f86da2f71bd657}, isbn = {0-412-64450-9}, keywords = {dblp}, pages = {259-273}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Verifying timing properties of concurrent algorithms.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1994.html#LuchangcoSGL94}, volume = 6, year = 1994 }