MPG.eBooks - Search Results - (((( health evidence network synthesis report ) OR ( health dence network synthesis report ))) OR ((( health guidance network synthesis report ) OR ( health grid network synthesis report ))))

Published 2014

Springer Berlin Heidelberg

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