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

Xavier Logean

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

2001
3 Falk Dietrich, Xavier Logean, Jean-Pierre Hubaux: Modeling and testing object-oriented distributed systems with linear-time temporal logic. Concurrency and Computation: Practice and Experience 13(5): 385-420 (2001)
1998
2 Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux: Testing Temporal Logic Properties in Distributed Systems. IWTCS 1998: 247-258
1997
1 Xavier Logean, Jean-Pierre Hubaux, Simon Znaty: A Generic Component Model for the design of future. MMNS 1997: 3-16

Coauthor Index

1Falk Dietrich [2] [3]
2Jean-Pierre Hubaux [1] [2] [3]
3Shawn Koppenhoefer [2]
4Simon Znaty [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)