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 HoranNew method for converting trace theoretic specifications to signal transition graphs
History
Journal
Australian Computer JournalVolume
27Pagination
62-70ISSN
0004-8917Publication classification
C1.1 Refereed article in a scholarly journalIssue
2Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC