Items where Author is "Tavares Sousa, David"

Group by: Creators | Item Type | Date | No Grouping

Jump to: 2007

Number of items: 1.

2007

Caires, Luis and Tavares Sousa, David and Torres Vieira, Hugo Checking for choreography conformance using spatial logic model-checking. Technical Report #03/2007 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

This list was generated on Thu May 2 10:22:23 2024 CEST.

IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.