An extended expansion theorem
- Authors
- D. Austry
- D. Park
- E.-R. Olderog
- F. Moller
- G. Boudol
- G. Boudol
- G. Boudol
- G. Ferrari
- J. Bergstra
- J. Bergstra
- J. Grabowski
- J. Meseguer
- M. Hennessy
- M. Nielsen
- P. Darondeau
- P. Darondeau
- P. Degano
- P. Degano
- P. Degano
- P. Degano
- P. Degano
- R. Glabbeek van
- R. Gorrieri
- R. Gorrieri
- R. Gorrieri
- S.D. Brookes
- U. Goltz
- U. Goltz
- U. Montanari
- V. Pratt
- Publication date
- Publisher
- 'Springer Science and Business Media LLC'
- Doi