A note on behavioral reachability

• Autor(es): J.C. Aleixo ; P. Rocha
• Data: 2007
• Identificador Persistente: http://hdl.handle.net/10216/71240
• Origem: Repositório Aberto da Universidade do Porto
• Tipo de Documento: Documento de conferência
• Idioma: Inglês