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

Richard L. Tenney

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

1994
5 Richard L. Tenney, Paul D. Amer, M. Ümit Uyar: Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993 North-Holland 1994
1990
4 Richard L. Tenney: Adding Interaction Sets to Estelle. FORTE 1990: 377-382
3 Richard L. Tenney: Modelling flow control in Estelle. PSTV 1990: 33-44
1982
2 Thomas P. Blumer, Richard L. Tenney: A Formal Specification Technique and Implementation Method for Protocols. Computer Networks 6(3): 201-217 (1982)
1977
1 George S. Sacerdote, Richard L. Tenney: The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) STOC 1977: 61-76

Coauthor Index

1Paul D. Amer [5]
2Thomas P. Blumer [2]
3George S. Sacerdote [1]
4M. Ümit Uyar [5]

Colors in the list of coauthors

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