Home Advanced Search

Advanced Search - Page 1

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986
  • DJVU
  • English-French
  • Year: 1986
  • Author: Flemming Nielson (auth.), B. Monien, G. Vidal-Naquet (eds.)
ML with Concurrency: Design, Analysis, Implementation, and Application
  • DJVU
  • English
  • Year: 1997
  • Author: Flemming Nielson
Principles of Program Analysis
  • PDF
  • English
  • Year: 1999
  • Author: Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.)
Semantics with Applications: An Appetizer
  • PDF
  • English
  • Year: 2007
  • Author: Hanne Riis Nielson PhD, Flemming Nielson PhD, DSc (auth.)
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Greg Nelson (auth.), Alessandro Armando (eds.)
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.)
search