@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}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A