Domain Modelling: Resource Management: Strategics, Tactics and Operations

Dines Bjørner

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationIn Honour of Tony Hoare
    Place of PublicationOxford
    PublisherMacmillan Publ.
    Publication date2000
    Publication statusPublished - 2000
    EventConference in Honour of Tony Hoare - Oxford, England
    Duration: 1 Jan 1999 → …


    ConferenceConference in Honour of Tony Hoare
    CityOxford, England
    Period01/01/1999 → …

    Cite this