Carron Shankland
3 published titles
IEEE 1394 (FireWire) Workshop : international workshop on application of formal methods to IEEE 1394 standard : Berlin, March 13, 2001
(Contributor)
1 edition
- ISBN: 1857691539
- University of Stirling, Dept. of Computing Science and Mathematics
- 2001
- Details
Algebraic methodology and software technology : 10th international conference, AMAST 2004
(Contributor)
1 edition
- ISBN: 3540223819
- Springer
- 2004
- Details
Deriving mean field equations from large process algebra models
(Contributor)
1 edition
- University of Stirling, Dept. of Computing Science and Mathematics
- 2008
- Details
