Michael Andersen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

1 René Elmstrøm, Poul Bøgh Lassen, Michael Andersen: An Executable Subset of VDM-SL, in an SA/RT Framework. Real-Time Systems 5(2-3): 197-211 (1993)

	1993
1		René Elmstrøm, Poul Bøgh Lassen, Michael Andersen: An Executable Subset of VDM-SL, in an SA/RT Framework. Real-Time Systems 5(2-3): 197-211 (1993)

Coauthor Index