Reducing parametric automata: a multimedia protocol service case study
Date
2004
Authors
Liu, L.
Billington, J.
Editors
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, vol.3299, pp.483-486
Statement of Responsibility
Conference Name
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004.