%0 Conference Paper %1 conf/dsn/ZhangPK05 %A Zhang, Yi %A Parker, David %A Kwiatkowska, Marta Z. %B DSN %D 2005 %I IEEE Computer Society %K dblp %P 732-741 %T A Wavefront Parallelisation of CTMC Solution Using MTBDDs. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2005.html#ZhangPK05 %@ 0-7695-2282-3

@inproceedings{conf/dsn/ZhangPK05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Zhang, Yi and Parker, David and Kwiatkowska, Marta Z.}, biburl = {https://www.bibsonomy.org/bibtex/298db6fd3f293d5550b58f3280bcc6cb0/dblp}, booktitle = {DSN}, crossref = {conf/dsn/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/DSN.2005.15}, interhash = {c965e5c38202f5bdfb653efd3b88de58}, intrahash = {98db6fd3f293d5550b58f3280bcc6cb0}, isbn = {0-7695-2282-3}, keywords = {dblp}, pages = {732-741}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:05:54.000+0200}, title = {A Wavefront Parallelisation of CTMC Solution Using MTBDDs.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2005.html#ZhangPK05}, year = 2005 }