@inproceedings{5600383,
    Author = {Trivedi, A. and Wojtczak, D.},
    BookTitle = {Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the},
    File = {Timed Branching Processes - Trivedi, Wojtczak (0) (0) - a - a - k.pdf},
    Keywords = {timed automata},
    Month = {sept.},
    Pages = {219 -228},
    Title = {Timed Branching Processes},
    Year = {2010},
    bdsk-url-1 = {http://dx.doi.org/10.1109/QEST.2010.36},
    date-added = {2012-05-16 18:01:07 +0200},
    date-modified = {2012-05-16 16:01:29 +0000},
    doi = {10.1109/QEST.2010.36}
}

@inproceedings{5600383, Author = {Trivedi, A. and Wojtczak, D.}, BookTitle = {Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the}, File = {Timed Branching Processes - Trivedi, Wojtczak (0) (0) - a - a - k.pdf}, Keywords = {timed automata}, Month = {sept.}, Pages = {219 -228}, Title = {Timed Branching Processes}, Year = {2010}, bdsk-url-1 = {http://dx.doi.org/10.1109/QEST.2010.36}, date-added = {2012-05-16 18:01:07 +0200}, date-modified = {2012-05-16 16:01:29 +0000}, doi = {10.1109/QEST.2010.36} }