In:
|
Lecture Notes in Computer Science, (2009)Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Italy, September 7-10, 2009. Proceedings, pp. 64-80
|
Subject:
|
Digital Security Mathematical Physics |
Organization:
|
Digital Security Security of Systems |
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, Italy, September 7-10, 2009. Proceedings |