@inproceedings{FoSSaCS-2000-BerardLS,
    Author = {B{\'e}rard, B{\'e}atrice and Labroue, Anne and Schnoebelen, Philippe},
    BookTitle = {{Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures}},
    File = {Verifying\_Performance\_Equivalence\_for\_Ti (0)0 (0) - a - a - a.pdf},
    Pages = {35--47},
    Publisher = {{Springer-Verlag}},
    Series = {{Lecture Notes in Computer Science}},
    Title = {{Verifying Performance Equivalence for Timed Basic Parallel Processes}},
    Volume = {1784},
    Year = {2000},
    bdsk-url-1 = {https://doi.org/10.1007/3-540-46432-8\_3},
    date-added = {2019-04-13 21:05:48 +0200},
    date-modified = {2019-04-13 21:05:48 +0200},
    file-2 = {BLS-fossacs2000 (0) (0) - a - a - a.pdf},
    doi = {10.1007/3-540-46432-8_3}
}

@inproceedings{FoSSaCS-2000-BerardLS, Author = {B{\'e}rard, B{\'e}atrice and Labroue, Anne and Schnoebelen, Philippe}, BookTitle = {{Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures}}, File = {Verifying_Performance_Equivalence_for_Ti (0)0 (0) - a - a - a.pdf}, Pages = {35--47}, Publisher = {{Springer-Verlag}}, Series = {{Lecture Notes in Computer Science}}, Title = {{Verifying Performance Equivalence for Timed Basic Parallel Processes}}, Volume = {1784}, Year = {2000}, bdsk-url-1 = {https://doi.org/10.1007/3-540-46432-8_3}, date-added = {2019-04-13 21:05:48 +0200}, date-modified = {2019-04-13 21:05:48 +0200}, file-2 = {BLS-fossacs2000 (0) (0) - a - a - a.pdf}, doi = {10.1007/3-540-46432-8_3} }