%0 Conference Paper %1 conf/pnpm/BradleyDHK03 %A Bradley, Jeremy T. %A Dingle, Nicholas J. %A Harrison, Peter G. %A Knottenbelt, William J. %B PNPM %D 2003 %I IEEE Computer Society %K dblp %P 62-71 %T Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. %U http://dblp.uni-trier.de/db/conf/pnpm/pnpm2003.html#BradleyDHK03 %@ 0-7695-1976-8

@inproceedings{conf/pnpm/BradleyDHK03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bradley, Jeremy T. and Dingle, Nicholas J. and Harrison, Peter G. and Knottenbelt, William J.}, biburl = {https://www.bibsonomy.org/bibtex/2ff12d4ceca62ef744cb063ec46b1623d/dblp}, booktitle = {PNPM}, crossref = {conf/pnpm/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/PNPM.2003.1231543}, interhash = {a8017e5c5e54090ca9ccba3826751574}, intrahash = {ff12d4ceca62ef744cb063ec46b1623d}, isbn = {0-7695-1976-8}, keywords = {dblp}, pages = {62-71}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:29:13.000+0200}, title = {Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic.}, url = {http://dblp.uni-trier.de/db/conf/pnpm/pnpm2003.html#BradleyDHK03}, year = 2003 }