págs. 549-580
Extending modal transition systems with structured labels
Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba
págs. 581-617
págs. 618-650
págs. 651-685
págs. 686-718
A duality between exceptions and states
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
págs. 719-722
© 2001-2024 Fundación Dialnet · Todos los derechos reservados