Synthesis of Program Outlines from Dynamic Models in DYNAMO

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
StatusUdgivet - 1997

Bibliografisk note

Internet adr.: http://www.cs.auc.dk/ñormark/dyn-models/static-models/outlines.pdf
Internet adr.: http://www.cs.auc.dk/ñormark/dyn-models/static-models/outlines.pdf

Citer dette

@book{e5909c50003411dab4d5000ea68e967b,
title = "Synthesis of Program Outlines from Dynamic Models in DYNAMO",
author = "Kurt N{\o}rmark",
note = "Internet adr.: http://www.cs.auc.dk/{\~n}ormark/dyn-models/static-models/outlines.pdf Internet adr.: http://www.cs.auc.dk/{\~n}ormark/dyn-models/static-models/outlines.pdf",
year = "1997",
language = "English",

}

Synthesis of Program Outlines from Dynamic Models in DYNAMO. / Nørmark, Kurt.

1997.

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - Synthesis of Program Outlines from Dynamic Models in DYNAMO

AU - Nørmark, Kurt

N1 - Internet adr.: http://www.cs.auc.dk/ñormark/dyn-models/static-models/outlines.pdf Internet adr.: http://www.cs.auc.dk/ñormark/dyn-models/static-models/outlines.pdf

PY - 1997

Y1 - 1997

M3 - Book

BT - Synthesis of Program Outlines from Dynamic Models in DYNAMO

ER -