%0 Conference Paper %1 conf/icdcs/JardJJR94 %A Jard, Claude %A Jéron, Thierry %A Jourdan, Guy-Vincent %A Rampon, Jean-Xavier %B ICDCS %D 1994 %I IEEE Computer Society %K dblp %P 396-403 %T A General Approach to Trace-Checking in Distributed Computing Systems. %U http://dblp.uni-trier.de/db/conf/icdcs/icdcs94.html#JardJJR94 %@ 0-8186-5840-1

@inproceedings{conf/icdcs/JardJJR94, added-at = {2023-03-24T00:00:00.000+0100}, author = {Jard, Claude and Jéron, Thierry and Jourdan, Guy-Vincent and Rampon, Jean-Xavier}, biburl = {https://www.bibsonomy.org/bibtex/2c6e37a6ec80ba29bd175d011a3a5fabe/dblp}, booktitle = {ICDCS}, crossref = {conf/icdcs/1994}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICDCS.1994.302443}, interhash = {ae4ccc81932c360ddf4feea219479cc3}, intrahash = {c6e37a6ec80ba29bd175d011a3a5fabe}, isbn = {0-8186-5840-1}, keywords = {dblp}, pages = {396-403}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:45:27.000+0200}, title = {A General Approach to Trace-Checking in Distributed Computing Systems.}, url = {http://dblp.uni-trier.de/db/conf/icdcs/icdcs94.html#JardJJR94}, year = 1994 }