dblp.uni-trier.dewww.uni-trier.de

Carolos Livadas Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
4EECarolos Livadas, Idit Keidar: Caching-Enhanced Scalable Reliable Multicast. DSN 2004: 253-
2002
3EECarolos Livadas, Nancy A. Lynch: A Formal Venture into Reliable Multicast Territory. FORTE 2002: 146-161
1999
2EECarolos Livadas, John Lygeros, Nancy A. Lynch: High-Level Modeling and Analysis of TCAS. IEEE Real-Time Systems Symposium 1999: 115-125
1998
1 Carolos Livadas, Nancy A. Lynch: Formal Verification of Safety-Critical Hybrid Systems. HSCC 1998: 253-272

Coauthor Index

1Idit Keidar [4]
2John Lygeros [2]
3Nancy A. Lynch [1] [2] [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)