Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

3 Results for Conchinha, Bruno

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Efficient decision procedures for message deducibility and static equivalence

Conchinha, Bruno, Basin, David A. and Caleiro, Carlos (2010)

Reports Reports

2. FAST: an efficient decision procedure for deduction and static equivalence

Conchinha, Bruno, Caleiro, Carlos and Basin, David (2010)

Conference Contributions

3. FAST: An Efficient Decision Procedure for Deduction and Static Equivalence

Conchinha, Bruno, Basin, David A. and Caleiro, Carlos (2011)

Conference Contributions