Domain modelling: resource management strategics, tactics and operations, decision support and algorithmic software

Dines Bjørner

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Original languageEnglish
    Title of host publicationMillenial Perspectives in Computer Science (Festschrift to Tony Hoare)
    Publication date2001
    Edition2001
    Pages23-40
    Publication statusPublished - 2001

    Cite this