A Rule-Based Formal Model for Software Configuration

T. Syrjänen

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 1999
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameHUT Laboratory for Theoretical Computer Science Research Reports
    PublisherHUT/Laboratory for Theoretical Computer Science
    No.HUT-TCS-A55

    Keywords

    • configuration management
    • linux
    • logic programming
    • stable model semantics

    Cite this