Hdl Handle:
http://hdl.handle.net/10149/110754
Title:
The equivalence of statecharts
Book Title:
Formal methods in software engineering
Authors:
Long, Q. (Quan); Qiu, Z. (Zongyan); Qin, S. (Shengchao)
Editors:
Dong, J. S. (Jin Song); Woodcock, J. C. P. (Jim)
Affiliation:
Singapore-MIT Alliance; National University of Singapore.
Citation:
Long, Q., Qiu, Z. and Qin, S. (2003) 'The equivalence of statecharts', 5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5-7, 2003, in Dong, J. S. and Woodcock, J. C. P. (eds) Formal methods in software engineering, Lecture notes in computer science, 2885. Heidelberg: Springer-Verlag, pp.125-143.
Publisher:
Springer-Verlag
Conference:
5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5-7, 2003
Issue Date:
2003
URI:
http://hdl.handle.net/10149/110754
DOI:
10.1007/978-3-540-39893-6_9
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
compositional operational semantics; statecharts; input/response trace model
Series/Report no.:
Lecture notes in computer science; 2885
ISSN:
0302-9743
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/09/2010]
Citation Count:
0 [Scopus, 07/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorLong, Q. (Quan)en
dc.contributor.authorQiu, Z. (Zongyan)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.editorDong, J. S. (Jin Song)en
dc.contributor.editorWoodcock, J. C. P. (Jim)en
dc.date.accessioned2010-09-07T08:49:01Z-
dc.date.available2010-09-07T08:49:01Z-
dc.date.issued2003-
dc.identifier.issn0302-9743-
dc.identifier.doi10.1007/978-3-540-39893-6_9-
dc.identifier.urihttp://hdl.handle.net/10149/110754-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries2885en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/09/2010]en
dc.subjectcompositional operational semanticsen
dc.subjectstatechartsen
dc.subjectinput/response trace modelen
dc.titleThe equivalence of statechartsen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentSingapore-MIT Alliance; National University of Singapore.en
dc.title.bookFormal methods in software engineeringen
dc.identifier.conference5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5-7, 2003en
ref.citationcount0 [Scopus, 07/09/2010]en
or.citation.harvardLong, Q., Qiu, Z. and Qin, S. (2003) 'The equivalence of statecharts', 5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5-7, 2003, in Dong, J. S. and Woodcock, J. C. P. (eds) Formal methods in software engineering, Lecture notes in computer science, 2885. Heidelberg: Springer-Verlag, pp.125-143.-
prism.startingPage125-
prism.endingPage143-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.