Browse by Person (creator, editor, contributor, etc.)
Number of items: 1. Conference or workshop item
|
Arts, Thomas and Earle, Clara Benac and Penas, Juan José Sánchez
(2004)
Translating Erlang to muCRL.
In: Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004), JUN 16-18, 2004, Hamilton, Canada.
|
|
This list was generated on Thu Jun 20 09:14:54 2013 BST. |
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
