Hugo Dworak. The Design and Implementation of a Documentation Generator for the PRISM Language. In Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009. pages 91-98, IEEE Computer Society, 2009. [doi]
@inproceedings{Dworak09a, title = {The Design and Implementation of a Documentation Generator for the PRISM Language}, author = {Hugo Dworak}, year = {2009}, doi = {10.1109/DepCoS-RELCOMEX.2009.29}, url = {http://doi.ieeecomputersociety.org/10.1109/DepCoS-RELCOMEX.2009.29}, researchr = {https://researchr.org/publication/Dworak09a}, cites = {0}, citedby = {0}, pages = {91-98}, booktitle = {Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3674-3}, }