|
Search the dblp DataBase
Larry M. Augustin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Specification and Analysis of System Architecture Using Rapide. [Citation Graph (2, 0)][DBLP] IEEE Trans. Software Eng., 1995, v:21, n:4, pp:336-355 [Journal]
- Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu
Verification of VHDL Designs Using VAL. [Citation Graph (0, 0)][DBLP] DAC, 1988, pp:48-53 [Conf]
- David 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. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1993, v:21, n:3, pp:253-265 [Journal]
- David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Specification and Analysis of System Architecture Using Rapide. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1995, v:21, n:6, pp:576- [Journal]
Search in 0.001secs, Finished in 0.001secs
|