Published in
Springer Verlag, Lecture Notes in Computer Science, p. 371-387
DOI: 10.1007/978-3-642-16901-4_25
Links
Tools
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP
Proceedings article published in 2010 by
Islam Abdelhalim,
James Sharp,
Steve A. Schneider,
Helen Treharne
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 