George Koletsos

Identifiers

• name variant George Koletsos 0.60 · backfill

Papers (1)

1. Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking cs.SE · 2011 · author #2

Mentions

• 1103.2787 #2 · backfill · confidence 0.70 George Koletsos

Frequent Coauthors

• Konstantinos Barlas 1 shared papers
• Petros Stefaneas 1 shared papers