Search the dblp DataBase
Lénaick Tanguy :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Claude Jard , Thierry Jéron , Lénaick Tanguy , César Viho Remote testin can be as powerful as local testing. [Citation Graph (0, 0)][DBLP ] FORTE, 1999, pp:25-40 [Conf ] César Viho , Sébastien Barbin , Lénaick Tanguy Towards a Formal Framework for Interoperability Testing. [Citation Graph (0, 0)][DBLP ] FORTE, 2001, pp:53-68 [Conf ] Lénaick Tanguy , César Viho , Claude Jard Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. [Citation Graph (0, 0)][DBLP ] ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf ] Roberto Baldoni , Jean-Michel Hélary , Michel Raynal , Lénaick Tanguy Consensus in byzantine asynchronous systems. [Citation Graph (0, 0)][DBLP ] SIROCCO, 2000, pp:1-15 [Conf ] Roberto Baldoni , Jean-Michel Hélary , Michel Raynal , Lénaick Tanguy Consensus in Byzantine asynchronous systems. [Citation Graph (0, 0)][DBLP ] J. Discrete Algorithms, 2003, v:1, n:2, pp:185-210 [Journal ] Search in 0.001secs, Finished in 0.002secs