Current studentsExisting staffContact us
 

Reducing parametric automata : a multimedia protocol service case study

Simple item page
dc.contributor.authorLiu, L.
dc.contributor.authorBillington, J.
dc.contributor.conferenceSecond International Conference ATVA 2004 (31 Oct 2004 - 3 Nov 2004 : Taipei, Taiwan)
dc.contributor.editorWang, F.
dc.date.issued2004
dc.identifier.citationLecture 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
dc.identifier.doi10.1007/b102065
dc.identifier.isbn3-540-23610-4
dc.identifier.isbn9783540236108
dc.identifier.issn0302-9743
dc.identifier.issn1611-3349
dc.identifier.orcidLiu, L. [0000-0003-2843-5738]
dc.identifier.urihttps://hdl.handle.net/1959.8/26740
dc.language.isoen
dc.publisherSpringer-Verlag
dc.publisher.placeBerlin, Germany
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.rightsCopyright status unknown
dc.source.urihttps://doi.org/10.1007/b102065
dc.titleReducing parametric automata : a multimedia protocol service case study
dc.typeConference paper
pubs.publication-statusPublished
ror.mmsid9915913434301831

Files

Collections