Reducing parametric automata : a multimedia protocol service case study
Date
2004
Authors
Liu, L.
Billington, J.
Editors
Wang, F.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004 / Wang, F. (ed./s), vol.3299, pp.483-486
Statement of Responsibility
Conference Name
Second International Conference ATVA 2004 (31 Oct 2004 - 3 Nov 2004 : Taipei, Taiwan)
DOI
Abstract
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright status unknown