HEAL DSpace
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
DSpace/Manakin Repository
JavaScript is disabled for your browser. Some features of this site may not work without it.
| 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 | https://dspace.lib.ntua.gr/xmlui/handle/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. |
|||
