Author Results for Huth Michael 1962-

Huth,Michael
Grumberg,Orna
Huth,Michael,
Michael Huth, Mark Ryan
ETAPS 2007
see all »
Michael R.A. Huth
Ryan,Mark
Ryan,Mark,
SpringerLink (Online service)
TACAS 2007,Braga, Portugal)

1
Secure communicating systems design, analysis, and implementation

Cover is for reference only
Main Authors: Huth Michael 1962-
Published: Cambridge University Press,
Publication Dates: 2001.
Call Number: TN918/H979
Book
Save to List
Saved in:
3
Logic in computer science modelling and reasoning about systems

Cover is for reference only
Main Authors: Huth Michael 1962-
Group Author: Ryan Mark 1962-
Published: Cambridge University Press,
Publication Dates: 2000.
Call Number: TP301.6/H979/
Book
Save to List
Saved in:
4
Logic in computer science modelling and reasoning about systems

Cover is for reference only
Main Authors: Huth Michael, 1962-
Group Author: Ryan Mark, 1962-
Published: Cambridge University Press,
Publication Dates: 2004.
Call Number: TP301.6/H979-1
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —