Using a safety notion in petri nets to analyse real-time systems

Sea Ling, Heinz Schmidt

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the IASTED International Conference, Software Engineering
    Place of PublicationAnaheim USA
    PublisherIASTED
    Pages344 - 350
    Number of pages7
    ISBN (Print)0-88986-244-3
    Publication statusPublished - 1997
    EventIASTED International Conference, Software Engineering - San Fransisco, Anaheim USA
    Duration: 1 Jan 1997 → …

    Conference

    ConferenceIASTED International Conference, Software Engineering
    CityAnaheim USA
    Period1/01/97 → …

    Cite this