|
Search the dblp DataBase
Roberto Raggi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto
From Co-algebraic Specifications to Implementation: The Mihda Toolkit. [Citation Graph (0, 0)][DBLP] FMCO, 2002, pp:319-338 [Conf]
- Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto
Verication On The Web Of Mobile Systems. [Citation Graph (0, 0)][DBLP] VVEIS, 2004, pp:72-74 [Conf]
- Michael Baldamus, Jesper Bengtson, Gian Luigi Ferrari, Roberto Raggi
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:11-20 [Journal]
Search in 0.001secs, Finished in 0.001secs
|