Dag Diesen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

2 Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen: Developing New ASM-tools. Workshop on Abstract State Machines 1998: 155-158

1988

1 Dag Diesen: Lifting of the Ditchmarker Refinement for Connection Method to First Order Logic. SCAI 1988: 13-21

	1998
2		Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen: Developing New ASM-tools. Workshop on Abstract State Machines 1998: 155-158
	1988
1		Dag Diesen: Lifting of the Ditchmarker Refinement for Connection Method to First Order Logic. SCAI 1988: 13-21

Coauthor Index