Biblio
Conference Paper, An Algebraic Algorithm for Structural Validation of Social Protocols
, Proceedings of the 10th international conference on Business information systems, BIS'07, Springer Verlag, 04/2007, pp. 570-583, ISBN 978-3-540-72034-8, DOI 10.1007/978-3-540-72035-5_45.
Abstract
Download: PDF (396.58 KB)