search result

Cover von Mathematical foundations of computer science
Search for this author
Year: 1998
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 195. 1998, 1
Media group: SPECIAL ISSUE
Cover von Applications and Theory of Petri Nets
31st International Conference, Braga, Portugal, June 21 - 25, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6128
Media group: MONOGRAPHIE
Cover von Advances in verification of time Petri nets and timed automata
a temporal logic approach
Author: Penczek, Wojciech; Polrola, Agata Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Studies in computational intelligence; 20
Media group: MONOGRAPHIE
Cover von Bounded Model Checking for Linear Time Temporal-Epistemic Logic

Bounded Model Checking for Linear Time Temporal-Epistemic Logic

article
Author: Meski, Artur; Penczek, Wojciech; Szreter, Maciej
Year: 2012
Media group: ARTICLE
Cover von Half a Century of Inspirational Research
Honoring the Scientific Influence of Antoni Mazurkiewicz
Search for this author
Year: 2007
Publisher: Amsterdam, IOS Press
Media group: MONOGRAPHIE
Cover von Mathematical foundations of computer science 1996
21st international symposium : Cracow, Poland, September 2 - 6, 1996 : proceedings
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1113
Media group: MONOGRAPHIE
Cover von Volume XIII.; Transactions on Petri Nets and Other Models of Concurrency XIII
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Volume XIII.
Series: Lecture notes in computer science : Journal Subline; 11090
Media group: MONOGRAPHIE
Cover von Volume XII.; Transactions on Petri nets and other models of concurrency
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Volume: Volume XII.
Series: Lecture notes in computer science : Journal Subline; 10470
Media group: MONOGRAPHIE
Cover von Temporal logics for distributed systems
paradigms and algorithms : 10.10.1999 - 15.10.1999 (99411)
Search for this author
Year: 1999
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 254
Media group: DAGSTUHL-SEMINAR-REP
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0