In:
|
Lecture Notes in Computer Science, (2009)Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 206-221
|
Organization:
|
Security of Systems Digital Security |
Journal title:
|
Lecture Notes in Computer Science
|
Book title:
|
Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings |