Synthesis of Program Outlines from Scenarios in DYNAMO

Research output: Book/ReportBookResearch

Original languageEnglish
Publication statusPublished - 1997

Cite this

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

}

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

1997.

Research output: Book/ReportBookResearch

TY - BOOK

T1 - Synthesis of Program Outlines from Scenarios in DYNAMO

AU - Nørmark, Kurt

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

PY - 1997

Y1 - 1997

M3 - Book

BT - Synthesis of Program Outlines from Scenarios in DYNAMO

ER -