DMCA

Bounded model checking real-time multi-agent systems with clock differences: theory and implementation (2006)

by Alessio Lomuscio , Andrzej Zbrzezny
Venue:Department of Computer Science, University College London, Gower Street, London
Citations:3 - 1 self