CITI has stopped operations in 2014, to co-launch
NOVA LINCS
THIS SITE IS NOT BEING UPDATED SINCE 2013
Home
\
Members
\ Member Page
Login
CITI
Welcome
Research Areas
Organization
Executive Board
Advisory Board
Contacts
Useful Information
People
CITI Members
Visitors
Activities
Research Projects
Publications
Seminars @ CITI
External Talks & Seminars
Graduation Activities
Organization of Events
Editorial Committees
Prototypes
Visits & Missions
Activity Reports
Search & Query
Search
BibTeX Generator
Anabela Ribeiro
Software Systems
Country:
Portugal
Position:
PhD Student
Email:
ar(at)di.fct.unl.pt
Publications (4)
Seminars (1)
Graduation Activities (1)
{ Seminars }
A Case Study in Specification and Verification in Spatial Logic: The Arrow Distributed Directory Protocol
24 Mar 2004
;
Software Systems
© 2007 CITI @
citi
.
di
.
fct
.
unl
.pt
administrator
|
webmaster
