Solving scheduling problems by untimed model checking

A.J. Wijs, J.C. Pol, van de, E. Bortnik

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Number of pages21
    Publication statusPublished - 2006

    Publication series

    NameCWI report. SEN-R : software engineering
    Volume0608
    ISSN (Print)1386-369X

    Cite this