Published in
Springer Verlag, Lecture Notes in Artificial Intelligence, p. 60-74, 2013
DOI: 10.1007/978-3-642-38493-6_5
Links
Tools
Pattern Matching and Bisimulation
Book chapter published in 2013 by
Thomas Given-Wilson,
Daniele Gorla
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 
