search result

Cover von Analysis and verification of multiple-agent languages
5th LOMAPS workshop : Stockholm, Sweden, June 24 - 26, 1996 : selected papers
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1192
Media group: MONOGRAPHIE
Cover von Secure IT Systems
20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19 - 21, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9417
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers

Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers

Year: 2017
Media group: LIPIcs
Cover von Computer Science Logic 2017
CSL 2017, August 20 - 24, 2017, Stockholm, Sweden
Search for this author
Year: 2017
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 82
Media group: LIPIcs
OPEN V 11.1.0.0