Ole Christian Dahl (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Ole Christian Dahl, Elie Najm: Specification & Detection of IN Service Interference Using LOTOS. FORTE 1993: 53-69

Selection of 1 from 1 records - Ole Christian Dahl has 1 coauthors