home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Please note:
This is a beta version of the new dblp website.
You can find the
classic dblp view of this page here
.
Lucía Cavatorta
export records as
BibTeX
RDF
XML
RSS
dblp keys
ask others
Google
Google Scholar
MS Academic Search
ACM Digital Library
help us
contact dblp
Trier 1
Trier 2
Dagstuhl
by year
by type
classic-C
classic+C
-- show only --
Books and Theses
Journal Articles
Conference and Workshop Papers
Parts in Books or Collections
Editorship
Reference Works
Informal Publications
'00
2000 – 2009
see FAQ
What is the meaning of the colors in the publication list?
2006
[c1]
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/eclipse/CavatortaCFBGKSO06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Lucía Cavatorta
,
Guido de Caso
,
Andrés Ferrari
,
Víctor A. Braberman
,
Diego Garbervetsky
,
Nicolas Kicillof
,
Fernando Schapachnik
,
Alfredo Olivero
:
A toolsuite for the verification of real-time systems in Eclipse.
ETX 2006
: 35-39
Coauthor Index
see FAQ
What is the meaning of the colors in the coauthor index?
1
Víctor A. Braberman
[c1]
2
Guido de Caso
[c1]
3
Andrés Ferrari
[c1]
4
Diego Garbervetsky
[c1]
5
Nicolas Kicillof
[c1]
6
Alfredo Olivero
[c1]
7
Fernando Schapachnik
[c1]