|
Search the dblp DataBase
Richard L. Tenney:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Richard L. Tenney
Adding Interaction Sets to Estelle. [Citation Graph (0, 0)][DBLP] FORTE, 1990, pp:377-382 [Conf]
- Richard L. Tenney
Modelling flow control in Estelle. [Citation Graph (0, 0)][DBLP] PSTV, 1990, pp:33-44 [Conf]
- George S. Sacerdote, Richard L. Tenney
The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) [Citation Graph (0, 0)][DBLP] STOC, 1977, pp:61-76 [Conf]
- Thomas P. Blumer, Richard L. Tenney
A Formal Specification Technique and Implementation Method for Protocols. [Citation Graph (0, 0)][DBLP] Computer Networks, 1982, v:6, n:3, pp:201-217 [Journal]
Search in 0.001secs, Finished in 0.001secs
|