Author:
Amla Nina,Emerson E. Allen,Kurshan Robert P.,Namjoshi Kedar S.
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. N. Amla and E.A. Emerson. Regular Timing Diagrams. In LICS Workshop on Logic and Diagrammatic Information, June 1998.
2. N. Amla, E.A. Emerson, and K.S. Namjoshi. Efficient Decompositional Model Checking for Regular Timing Diagrams. In CHARME. Springer-Verlag, September 1999.
3. T. Amon, G. Borriello, T. Hu, and J. Liu. Symbolic Timing Verification of Timing Diagrams Using Presburger Formulas. In DAC, 1997.
4. Bell Laboratories, Lucent Technologies. PCI Core User’s Manual (Version 1.0). Technical report, July 1996.
5. A. Benveniste. Safety Critical Embedded Systems Design: the SACRES approach. Technical report, INRIA, May 1998. URL:
http://www.tni.fr/sacres/index.html