Temporal Logic Based Specifications of Component Interaction Protocols

Jun Han

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

    Original languageEnglish
    Title of host publicationProceedings of the ECOOP'2000 Workshop on Object Interoperability
    Place of PublicationCaceres Spain
    PublisherUniversidad de Extremadura
    Pages43 - 52
    Number of pages10
    ISBN (Print)8469925305
    Publication statusPublished - 2000
    Event2nd International workshop on Object Interoperability WOI'00 - Sophia Antipolis FRANCE, Caceres Spain
    Duration: 1 Jan 2000 → …

    Conference

    Conference2nd International workshop on Object Interoperability WOI'00
    CityCaceres Spain
    Period1/01/00 → …

    Cite this