Informatics Models of Infrastructure Domains

Dines Bjørner

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

    Original languageEnglish
    Title of host publicationComputer Science and Information Technologies
    PublisherInstitute for Informatics and Automation Problems
    Publication date2001
    Pages13-73
    Publication statusPublished - 2001

    Cite this