Search
Now showing items 1-10 of 23
Theorems from compiler verification: a problem set for automated theorem provers
Schellhorn, Gerhard; Reif, Wolfgang (2013)
Bericht
Variable Migration von Workflows in ADEPT
Bauer, Thomas; Dadam, Peter (2013)
Bericht
Formal verification of a coordinated atomic action based design
Canver, Ercüment (2013)
Bericht
Proving properties of directed graphs: a problem set for automated theorem provers
Schellhorn, Gerhard (2013)
Bericht
Synfire graphs: from spike patterns to automata of spiking neurons
Wennekers, Thomas (2013)
Bericht
A formal semantics of time patterns for process-aware information systems
Lanz, Andreas; Reichert, Manfred; Weber, Barbara (2013)
Bericht
SHARE: a transparent mechanism for reliable broadcast delivery in CAN
Livani, Mohammad Ali (2013)
Bericht
Interaction of ON and OFF pathways for visual contrast measurement
Neumann, Heiko; Hansen, Thorsten; Pessoa, Luiz (2013)
Bericht
Recurrent V1 - V2 interaction in early visual boundary pocessing
Neumann, Heiko; Sepp, Wolfgang (2013)
Bericht
Predictable atomic multicast in the controller area network (CAN)
Livani, Mohammad Ali; Kaiser, Jörg (2013)
Bericht