Skip to main content
Log In
(current)
English
Ελληνικά
Home
Invited Speaker
Invited Speaker
Invitation as Speaker Details
Speech Title
Invited Speaker
Event name
Naval Research Lab (NRL) Colloquium
Invited Person
Djouvas, Constantinos
Date
January 1, 2006
Type of invitation
Using the Automatic Generation of Automata for Testing (AGATE) to Create State Machines from Traces