Search results
Lecture Notes in Computer Science > FM 2009: Formal Methods > Special Track: Industrial Applications I > 516-531
Communications in Computer and Information Science > Information Technology and Mobile Communication > Short Paper > 255-258
Communications in Computer and Information Science > Computer Networks and Information Technologies > Full Papers > 159-163