(1 - 10 von 10
)
ArtistDesign NoE - ATVA China 2006
www.artist-embedded.org
(Harald Fecher, Michael Huth , DE) - Timed Temporal Logics for Abstracting Transient States. (Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François ...
Durchs Eichhörnchenjahr - Buchjournal
www.buchjournal.de
Junge Leser / Schenken & Spielen August Harald Fecher, Thomas Liesching: PURZELBAUM 0 Kommentar/e ...
Automated Technology for Verification and Analysis - Verimagwww-verimag.imag.fr › ATVA › apapers
www-verimag.imag.fr
Harald Fecher & Huth, Michael (DE) : Controller synthesis and Ordinal Automata. Thierry Cachat (FR) : Sigref - A Symbolic Bisimulation Tool Box.
Albstädter Krankenhaus – ein Haus voller Engel
www.zak.de
Harald Fecher begrüßte und verabschiedete die Anwesenden in seiner Funktion als Fachbereichsleiter. Die Weihnachtsansprache hielt der ...
Die gelben Türmchen sind angesagt - Kirchheimer Umland ...www.teckbote.de › nachrichten › lokalnachrichten-kirc...
www.teckbote.de
... das zum Mitmachen anregt. Purzelbaum von Harald Fecher und Thomas Liesching ist bei „Zoch“ erschienen und für Kinder ab vier Jahren.
ETAPS COMPLANGwww.complang.tuwien.ac.at › etaps06 › progSPIN
www.complang.tuwien.ac.at
Markovian Systems (chair: Gianfranco Ciardo): Don't know in Probabilistic Systems: Harald Fecher (Univ. of Kiel, D), Martin Leucker (TU ...
Event Structures for Interrupt Process Algebras
pdfslide.us
Event Structures for Interrupt Process Algebras Harald Fecher Universita¨t Mannheim, Fakulta¨t fu¨r Mathematik und Informatik D7, 27, Mannheim, Germany...
Nachrichten Details - Brandorabrandora.de › News › NewsHomeDetails
brandora.de
... Nüssen und Blättern angelegt hat. Kindern ab vier Jahren gefällt der dreidimensionale Purzelbaum des Autorenteams Harald Fecher und Thomas Liesching.
SOS Workshop Programme - University of Leicesterwww.cs.le.ac.uk › events › SOS2005
www.cs.le.ac.uk
16.15, Harald Fecher, Marcel Kyas, Frank S. de Boer and Willem-Paul de Roever, Compositional Operational Semantics of a ...
sortiert nach Relevanz / Datum