Team Automata for Security Analysis (2004)

by Maurice H. Ter Beek , Gabriele Lenzini , Marinella Petrocchi
Venue:Object Management Group (OMG
Citations:2 - 2 self