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

Larry M. Augustin

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

1995
4EEDavid C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann: Specification and Analysis of System Architecture Using Rapide. IEEE Trans. Software Eng. 21(4): 336-355 (1995)
3EEDavid C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann: Specification and Analysis of System Architecture Using Rapide. IEEE Trans. Software Eng. 21(6): 576 (1995)
1993
2EEDavid C. Luckham, James Vera, Doug Bryan, Larry M. Augustin, Frank C. Belz: Partial orderings of event sets and their application to prototyping concurrent, timed systems. Journal of Systems and Software 21(3): 253-265 (1993)
1988
1EELarry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu: Verification of VHDL Designs Using VAL. DAC 1988: 48-53

Coauthor Index

1Frank C. Belz [2]
2Doug Bryan [2] [3] [4]
3Benoit A. Gennart [1]
4Youm Huh [1]
5John J. Kenney [3] [4]
6David C. Luckham [1] [2] [3] [4]
7Walter Mann [3] [4]
8Alec G. Stanculescu [1]
9James Vera [2] [3] [4]

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