| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 1 |       | Jean-Pierre Courtiat, C. A. S. Santos, Christophe Lohr, B. Outtaj: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Computer Communications 23(12): 1104-1123 (2000) |
Selection of 1 from 8 records - Christophe Lohr has 11 coauthors
Copyright © 2009-12-08 by Michael Ley (ley@uni-trier.de)