Sciweavers

36 search results - page 1 / 8
» iee 2008
Sort
View
68
Voted
IEE
2010
41views more  IEE 2010»
14 years 10 months ago
Synthesising certificates in networks of timed automata
Bernd Finkbeiner, H.-J. Peter, Sven Schewe