%0 Conference Paper %1 conf/fossacs/BerardLS00 %A Bérard, Béatrice %A Labroue, Anne %A Schnoebelen, Philippe %B FoSSaCS %D 2000 %E Tiuryn, Jerzy %I Springer %K dblp %P 35-47 %T Verifying Performance Equivalence for Timed Basic Parallel Processes. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2000.html#BerardLS00 %V 1784 %@ 3-540-67257-5

@inproceedings{conf/fossacs/BerardLS00, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bérard, Béatrice and Labroue, Anne and Schnoebelen, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/22ecc89ce3620003722a76f4067cba84a/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2000}, editor = {Tiuryn, Jerzy}, ee = {https://doi.org/10.1007/3-540-46432-8_3}, interhash = {7c7795b6354a364f1a291622fea2ace6}, intrahash = {2ecc89ce3620003722a76f4067cba84a}, isbn = {3-540-67257-5}, keywords = {dblp}, pages = {35-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:28.000+0200}, title = {Verifying Performance Equivalence for Timed Basic Parallel Processes.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2000.html#BerardLS00}, volume = 1784, year = 2000 }