| | |
- CSB - MetaPress - Google - Bing - 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) |
| 1 | Stål Aanderaa | [1] |
| 2 | Mícheál Mac an Airchinnigh | [4] |
| 3 | Hans Petter Dahle | [2] |
| 4 | Maria Manuela Marques | [3] |
| 5 | Birger Møller-Pedersen | [2] |
| 6 | Malachy Murphy | [3] |
| 7 | Gerard O'Regan | [4] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page