|
Search the dblp DataBase
João Abreu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis
Checking the Conformance of Java Classes Against Algebraic Specifications. [Citation Graph (0, 0)][DBLP] ICFEM, 2006, pp:494-513 [Conf]
- João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. [Citation Graph (0, 0)][DBLP] FORTE, 2007, pp:358-373 [Conf]
A Coordination Model for Service-Oriented Interactions. [Citation Graph (, )][DBLP]
A Model-Checking Approach for Service Component Architectures. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|