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
Year of publication: 2011
Volume: 6604 LNCS
Pages: 153-167
Type: Conference paper