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

Dag Belsnes

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

1994
4 Mícheál Mac an Airchinnigh, Dag Belsnes, Gerard O'Regan: Formal Methods and Service Specification. IS&N 1994: 563-572
1993
3 Maria Manuela Marques, Dag Belsnes, Malachy Murphy: Formalisation Based on Understanding. FORTE 1993: 417-432
1987
2 Birger Møller-Pedersen, Dag Belsnes, Hans Petter Dahle: Rationale and Tutorial on OSDL: An Object-Oriented Extension of SDL. Computer Networks 13: 97-117 (1987)
1971
1 Stål Aanderaa, Dag Belsnes: Decision Problems for Tag Systems. J. Symb. Log. 36(2): 229-239 (1971)

Coauthor Index

1Stål Aanderaa [1]
2Mícheál Mac an Airchinnigh [4]
3Hans Petter Dahle [2]
4Maria Manuela Marques [3]
5Birger Møller-Pedersen [2]
6Malachy Murphy [3]
7Gerard O'Regan [4]

Colors in the list of coauthors

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