Ordinal theory for expressiveness of well structured transition systems
- Bonnet, R.
- Finkel, A.
- Haddad, S.
- Rosa-Velardo, F.
ISSN: 1611-3349, 0302-9743
ISBN: 9783642198045
Año de publicación: 2011
Volumen: 6604 LNCS
Páginas: 153-167
Tipo: Aportación congreso