C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Calculus of Virtually Timed Ambients.
Einar Broch Johnsen
Martin Steffen
Johanna Beate Stumpf
Published in:
WADT (2016)
Keyphrases
</>
timed automata
model checking
petri net
theorem prover
feature selection
first order logic
real time
theorem proving
automated deduction
provably correct
colored petri nets
learning algorithm
image processing
multiscale
discrete event
algebraic structure
data sets