%0 Conference Paper %1 conf/icdcs/WeddeKH92 %A Wedde, Horst F. %A Korel, Bogdan %A Huizinga, Dorota M. %B ICDCS %D 1992 %I IEEE Computer Society %K dblp %P 478-485 %T Formal Analysis of Waiting Times for Distributed Real-time Processes. %U http://dblp.uni-trier.de/db/conf/icdcs/icdcs92.html#WeddeKH92 %@ 0-8186-2865-0

@inproceedings{conf/icdcs/WeddeKH92, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wedde, Horst F. and Korel, Bogdan and Huizinga, Dorota M.}, biburl = {https://www.bibsonomy.org/bibtex/263905b84766e7293c40c27f0b2d3a9ee/dblp}, booktitle = {ICDCS}, crossref = {conf/icdcs/1992}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICDCS.1992.235006}, interhash = {f6a63153b7d8fd528f05e29882ecef45}, intrahash = {63905b84766e7293c40c27f0b2d3a9ee}, isbn = {0-8186-2865-0}, keywords = {dblp}, pages = {478-485}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:45:12.000+0200}, title = {Formal Analysis of Waiting Times for Distributed Real-time Processes.}, url = {http://dblp.uni-trier.de/db/conf/icdcs/icdcs92.html#WeddeKH92}, year = 1992 }