Deakin University
Browse

File(s) not publicly available

New method for converting trace theoretic specifications to signal transition graphs

Version 2 2024-06-03, 12:19
Version 1 2021-09-16, 08:08
journal contribution
posted on 2024-06-03, 12:19 authored by CJ Coomber, P Horan
New method for converting trace theoretic specifications to signal transition graphs

History

Journal

Australian Computer Journal

Volume

27

Pagination

62-70

ISSN

0004-8917

Publication classification

C1.1 Refereed article in a scholarly journal

Issue

2

Usage metrics

    Research Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC