MPG.eBooks - Search Results - (((( health evidence network synthesis report ) OR ( Health sequence network synthesis report ))) OR ( health guidance network synthesis report ))

Search alternatives:
network synthesis » network systems
evidence network » science network , dence network , incidence networks
sequence network » sequence networks , science network , sequential network
guidance network » guide network , finance network , impedance network
health evidence » health science
health sequence » health sequelae , heart sequence , health consequence
health guidance » health finance , health substance

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2014

Springer Berlin Heidelberg

Table of Contents: “... -- Quasi-Equal Clock Reduction: More Networks, More Queries -- Are Timed Automata Bad for a Specification...”