Show simple item record

dc.contributor.authorEstivill-Castro, V
dc.contributor.authorHexel, R
dc.contributor.editorHam- moudi, S., Ferreira Pires, L., Filipe, J. and C ́esar das Neves, R.
dc.date.accessioned2017-05-03T14:16:11Z
dc.date.available2017-05-03T14:16:11Z
dc.date.issued2013
dc.date.modified2013-11-07T01:56:53Z
dc.identifier.isbn9789898565426
dc.identifier.refurihttp://www.modelsward.org/?y=2013
dc.identifier.urihttp://hdl.handle.net/10072/54049
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.publisherSciTePress
dc.publisher.placePortugal
dc.publisher.urihttp://www.modelsward.org/?y=2013
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameMODELSWARD 2013
dc.relation.ispartofconferencetitleMODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development
dc.relation.ispartofdatefrom2013-02-19
dc.relation.ispartofdateto2013-02-21
dc.relation.ispartoflocationBarcelona, Spain
dc.relation.ispartofpagefrom182
dc.relation.ispartofpageto189
dc.rights.retentionY
dc.subject.fieldofresearchSoftware Engineering
dc.subject.fieldofresearchcode080309
dc.titleArrangements of Finite-State Machines Semantics, Simulation, and Model Checking
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.date.issued2013
gro.hasfulltextNo Full Text
gro.griffith.authorHexel, Rene
gro.griffith.authorEstivill-Castro, Vladimir


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record