Login / Signup
Eliminating spurious transitions in reachability with support functions.
Goran Frehse
Sergiy Bogomolov
Marius Greitschus
Thomas Strump
Andreas Podelski
Published in:
HSCC (2015)
Keyphrases
</>
neural network
multimedia
end users
database
real time
information systems
metadata
relational databases
state space
knowledge management
decision support