HEAL DSpace

Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Barlas, K en
dc.contributor.author Koletsos, G en
dc.contributor.author Stefaneas, P en
dc.date.accessioned 2014-03-01T02:01:38Z
dc.date.available 2014-03-01T02:01:38Z
dc.date.issued 2011 en
dc.identifier.uri http://hdl.handle.net/123456789/29210
dc.relation.uri http://arxiv.org/abs/1103.2787 en
dc.relation.uri http://www.informatik.uni-trier.de/~ley/db/journals/corr/corr1103.html#abs-1103-2787 en
dc.title Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking en
heal.type journalArticle en
heal.publicationDate 2011 en
heal.journalName Computing Research Repository en


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record