Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- model check 5 Treffer
- expressive power 4 Treffer
- temporal logic 3 Treffer
- hybrid logic 2 Treffer
- modal formula 2 Treffer
-
35 weitere Werte:
- model check problem 2 Treffer
- model property 2 Treffer
- abstract state machines 1 Treffer
- accessibility relation 1 Treffer
- atomic formula 1 Treffer
- axiomatic system 1 Treffer
- behavioural equivalence 1 Treffer
- causal dependency 1 Treffer
- characteristic formula 1 Treffer
- closed formula 1 Treffer
- concurrent event 1 Treffer
- concurrent system 1 Treffer
- control objective 1 Treffer
- control problem 1 Treffer
- dynamic logic 1 Treffer
- empty word 1 Treffer
- formula variable 1 Treffer
- free variable 1 Treffer
- hybrid system 1 Treffer
- kripke model 1 Treffer
- kripke structure 1 Treffer
- modal operator 1 Treffer
- modal parameter 1 Treffer
- model check algorithm 1 Treffer
- object structure 1 Treffer
- order logic 1 Treffer
- parallel composition 1 Treffer
- pointer attribute 1 Treffer
- proof system 1 Treffer
- propositional atom 1 Treffer
- propositional variable 1 Treffer
- regular language 1 Treffer
- satisfaction relation 1 Treffer
- transition system 1 Treffer
- winning strategy 1 Treffer
Verlag
Publikation
- computer science logic : 15th international workshop, csl 2001 10th annual conference of the eacsl paris, france, september 10-13, 2001, proceedings 5 Treffer
- concur 2010 - concurrency theory : 21th international conference, concur 2010, paris, france, august 31-september 3, 2010. proceedings 3 Treffer
- automata, languages and programming : 38th international colloquium, icalp 2011, zurich, switzerland, july 4-8, 2011, proceedings, part ii 1 Treffer
- automated reasoning with analytic tableaux and related methods : 18th international conference, tableaux 2009, oslo, norway, july 6-10, 2009. proceedings 1 Treffer
- automated reasoning with analytic tableaux and related methods : 28th international conference, tableaux 2019, london, uk, september 3-5, 2019, proceedings 1 Treffer
-
4 weitere Werte:
- computer aided verification : 12th international conference, cav 2000, chicago, il, usa, july 15-19, 2000. proceedings 1 Treffer
- concur 2004 - concurrency theory : 15th international conference, london, uk, august 31 - september 3, 2004. proceedings 1 Treffer
- concur 2005 - concurrency theory : 16th international conference, concur 2005, san francisco, ca, usa, august 23-26, 2005. proceedings 1 Treffer
- logic, language, information and computation : 15th international workshop, wollic 2008 edinburgh, uk, july 1-4, 2008 proceedings 1 Treffer
15 Treffer
-
2019Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2001Online E-BookZugriff:
-
2001Online E-BookZugriff:
-
2001Online E-BookZugriff:
-
2001Online E-BookZugriff:
-
2001Online E-BookZugriff: