Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Brian
Last name:	Monahan
DBLP:	68/2632
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 4 of 4  

Select a publication
Show	Title	Venue	Rating	Date
	Brian Monahan. From Security Protocols to Systems Security.	Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers 2005	(0)	2003
	Brian Monahan. From Security Protocols to Systems Security (Discussion).	Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers 2005	(0)	2003
	Howard Barringer, Graham Gough, Brian Monahan, Alan Williams. A Process Algebra Foundation for Reasoning about Core ELLA.	Comput. J. 1996, Volume 39	(0)	1996
	Howard Barringer, Graham Gough, Brian Monahan, Alan Williams. Formal support for the ELLA hardwar description language.	Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings 1995	(0)	1995

Your query returned 4 matches in the database.