|
[Dwo09]
H. Dworak.
The Design and Implementation of a Documentation Generator for the PRISM Language.
In Proc. 4th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX'09), pages 91-98, IEEE Computer Society.
June 2009.
[bib]
http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=5261015
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=5261015
|