1 research outputs found
Computable fixpoints in well-structured symbolic model checking
- Author
- A Arnold
- A Bouajjani
- A Bouajjani
- A Bouajjani
- A Finkel
- A Finkel
- A Finkel
- A Finkel
- A Jeż
- A Kučera
- A Rabinovich
- B Boigelot
- B Boigelot
- B Boigelot
- B Boigelot
- B Khoussainov
- C Baier
- C Baier
- C Baier
- C Baier
- C Baier
- C Dufourd
- D Figueira
- D Figueira
- D Perrin
- DHJ Jongh de
- EA Emerson
- EA Emerson
- EC Milner
- EV Kouzmin
- G Cécé
- G Delzanno
- H Gruber
- J Esparza
- J Leeuwen van
- J Leroux
- JB Kruskal
- JC Bradfield
- JF Raskin
- K Čerāns
- L Alfaro de
- L Bozzelli
- M Kunc
- N. Bertrand
- P Bouyer
- P Bouyer
- P Chambart
- P Cousot
- P Habermehl
- P Jančar
- P Jančar
- P Jančar
- P Schnoebelen
- P Schnoebelen
- P Schnoebelen
- P Schnoebelen
- P Wolper
- P. Schnoebelen
- PA Abdulla
- PA Abdulla
- PA Abdulla
- PA Abdulla
- PA Abdulla
- PA Abdulla
- PA Abdulla
- PA Abdulla
- PA Abdulla
- PA Abdulla
- R Alur
- R Mayr
- R Valk
- RJv Glabbeek
- RJv Glabbeek
- S Bardin
- S Demri
- S Fenner
- S Haddad
- S Schmitz
- TA Henzinger
- Y Kesten
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study