search result

Cover von Visual formal methods; 1/3
Search for this author
Year: 2001
Publisher: New York, Pergamon Press
Computer languages
Count: 1/3
Media group: SPECIAL ISSUE
Cover von Algebraic specification of communication protocols
Search for this author
Year: 1993
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 36
Media group: MONOGRAPHIE
Cover von Security and Trust Management
15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11738
Media group: MONOGRAPHIE
Cover von Graphical Models for Security
4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10744
Media group: MONOGRAPHIE
Cover von Graphical Models for Security
Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9390
Media group: MONOGRAPHIE
Cover von CONCUR '99
concurrency theory : 10th international conference : Eindhoven, the Netherlands, August 24 - 27, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1664
Media group: MONOGRAPHIE
Cover von Trust Management X
10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18 - 22, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: IFIP Advances in Information and Communication Technology; 473
Media group: MONOGRAPHIE
Cover von Security and Trust Management
10th International Workshop, STM 2014, Wroclaw, Poland, September 10 - 11, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8743
Media group: MONOGRAPHIE
Cover von A Graphical Proof Theory of Logical Time

A Graphical Proof Theory of Logical Time

Year: 2022
Media group: LIPIcs
Cover von Public key infrastructure
5th European PKI workshop : theory and practice : Trondheim, Norway, June 16 - 17, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5057
Media group: MONOGRAPHIE
OPEN V 11.1.0.0