|
| The IET is a world leading professional organisation sharing and advancing knowledge to promote science, engineering and technology across the world. |
| Synthesising certificates in networks of timed automata |
| B. Finkbeiner |
| IET Software(2010), 4(3):222 |
| http://dx.doi.org/10.1049/iet-sen.2009.0047 |
| This article is available from multiple sources. Please click on the logo of the service to which you have a subscription, or click any logo to obtain pay-per-view access. | |
 | Access the IET Digital Library |
 | Access the IEL (IEEE/IET Electronic Library) on IEEE Xplore® |