Search alternatives:
network synthesis » network systems
evidence network » guidance network, dence network, incidence networks
science network » sciences network, science networks, science work
health science » health sciences

1
Published 2014
Springer Berlin Heidelberg
Table of Contents: ... -- Quasi-Equal Clock Reduction: More Networks, More Queries -- Are Timed Automata Bad for a Specification...