search result

Cover von Hyper Partial Order Logic

Hyper Partial Order Logic

Year: 2018
Media group: LIPIcs
Cover von Finite Bisimulations for Dynamical Systems with Overlapping Trajectories

Finite Bisimulations for Dynamical Systems with Overlapping Trajectories

Year: 2018
Media group: LIPIcs
Cover von Probabilistic Disclosure

Probabilistic Disclosure

Maximisation vs. Minimisation
Year: 2018
Media group: LIPIcs
Cover von Systems and software verification
model-checking techniques and tools
Search for this author
Year: 2001
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
OPEN V 11.1.0.0