HEAL DSpace

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

Αποθετήριο DSpace/Manakin

Εμφάνιση απλής εγγραφής

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


Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)

Εμφάνιση απλής εγγραφής