search result

Cover von 2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

Year: 2008
Media group: ARTICLE
Cover von IARCS annual conference on foundations of software technology and theoretical computer science
December 9 - 11, 2008, Bangalore, India
Search for this author
Year: 2008
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 2
Media group: LIPIcs
Cover von Foundations of software technology and theoretical computer science
21st conference, Bangalore, India, December 13 - 15, 2001, proceedings
Search for this author
Year: 2001
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2245
Media group: MONOGRAPHIE
Cover von Networked Systems
13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15736
Media group: MONOGRAPHIE
Cover von Automated Technology for Verification and Analysis
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3 - 6, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7561
Media group: MONOGRAPHIE
Cover von Formal models, languages and applications
Search for this author
Year: 2006
Publisher: Singapore, World Scientific
Series: Series in machine perception and artificial intelligence; 66
Media group: MONOGRAPHIE
Cover von Generalising Projection in Asynchronous Multiparty Session Types

Generalising Projection in Asynchronous Multiparty Session Types

Year: 2021
Media group: LIPIcs
Cover von Model checking time-constrained scenario-based specifications

Model checking time-constrained scenario-based specifications

Year: 2010
Media group: LIPIcs
OPEN V 11.1.0.0