BooksStandalone TitlesCollected Volumepp. 1189–1215Symbolic methods and automataBernard BoigelotUniversité de Liège, BelgiumDownload Chapter PDFA subscription is required to access this book chapter.