dblp.uni-trier.dewww.uni-trier.de

Brian Monahan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
4EEBrian Monahan: From Security Protocols to Systems Security. Security Protocols Workshop 2003: 307-322
3EEBrian Monahan: From Security Protocols to Systems Security (Discussion). Security Protocols Workshop 2003: 323-323
1996
2 Howard Barringer, Graham Gough, Brian Monahan, Alan Williams: A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 39(4): 303-324 (1996)
1995
1 Howard Barringer, Graham Gough, Brian Monahan, Alan Williams: Formal support for the ELLA hardwar description language. CHARME 1995: 225-245

Coauthor Index

1Howard Barringer [1] [2]
2Graham Gough [1] [2]
3Alan Williams [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)