Falk Dietrich

	2002
3		Falk Dietrich, Jean-Pierre Hubaux: Formal methods for communication services: meeting the industry expectations. Computer Networks 38(1): 99-120 (2002)
	2001
2		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
1		Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux: Testing Temporal Logic Properties in Distributed Systems. IWTCS 1998: 247-258

Coauthor Index

1	Jean-Pierre Hubaux	[1] [2] [3]
2	Shawn Koppenhoefer	[1]
3	Xavier Logean	[1] [2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page