BooksStandalone TitlesCollected Volumepp. 1261–1294Timed automataPatricia BouyerUniversité Paris-Saclay, CNRS, Gif-sur-Yvette, FranceDownload Chapter PDFA subscription is required to access this book chapter.