%0 Conference Paper %1 conf/hicss/KaviSSH95 %A Kavi, Krishna M. %A Sheldon, Frederick T. %A Shirazi, Behrooz A. %A Hurson, Ali R. %B HICSS (2) %D 1995 %I IEEE Computer Society %K dblp %P 516-524 %T Reliability analysis of CSP specifications using Petri nets and Markov processes. %U http://dblp.uni-trier.de/db/conf/hicss/hicss1995-2.html#KaviSSH95 %@ 0-8186-6945-4

@inproceedings{conf/hicss/KaviSSH95, added-at = {2017-09-29T00:00:00.000+0200}, author = {Kavi, Krishna M. and Sheldon, Frederick T. and Shirazi, Behrooz A. and Hurson, Ali R.}, biburl = {https://www.bibsonomy.org/bibtex/2d14f98a6457c2368ec854ffb0416b048/dblp}, booktitle = {HICSS (2)}, crossref = {conf/hicss/1995}, ee = {http://doi.ieeecomputersociety.org/10.1109/HICSS.1995.375505}, interhash = {2a3f8a990460a7a3d2a74952bfba0db1}, intrahash = {d14f98a6457c2368ec854ffb0416b048}, isbn = {0-8186-6945-4}, keywords = {dblp}, pages = {516-524}, publisher = {IEEE Computer Society}, timestamp = {2017-12-08T00:49:46.000+0100}, title = {Reliability analysis of CSP specifications using Petri nets and Markov processes.}, url = {http://dblp.uni-trier.de/db/conf/hicss/hicss1995-2.html#KaviSSH95}, year = 1995 }