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

Luc Léonard

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

1999
6 Guy Leduc, Olivier Bonaventure, Luc Léonard, E. Koerner, Charles Pecheur: Model-Based Verification of a Security Protocol for Conditional Access to Services. Formal Methods in System Design 14(2): 171-191 (1999)
1998
5EELuc Léonard, Guy Leduc: A Formal Definition of Time in LOTOS. Formal Asp. Comput. 10(3): 248-266 (1998)
1997
4EELuc Léonard, Guy Leduc: An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems. Computer Networks and ISDN Systems 29(3): 271-292 (1997)
1993
3 Luc Léonard, Guy Leduc: An Enhanced Version of Timed LOTOS and its Application to a Case Study. FORTE 1993: 483-498
1992
2 Guy Leduc, Luc Léonard: A timed LOTOS supporting a dense time domain and including new timed operators. FORTE 1992: 87-102
1 André A. S. Danthine, Yves Baguette, Guy Leduc, Luc Léonard: The OSI 95 Connection-MJode Transport Service: The Enhanced QoS. HPN 1992: 235-252

Coauthor Index

1Yves Baguette [1]
2Olivier Bonaventure [6]
3André A. S. Danthine [1]
4E. Koerner [6]
5Guy Leduc [1] [2] [3] [4] [5] [6]
6Charles Pecheur [6]

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