Participants: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timasoara, Romania) [ ]; ProQuest (Firm) [ ]; Clarke, Edmund. [ TeilnehmendeR ]; Minea, Marius. [ TeilnehmendeR ]; Tiplea, Ferucio Laurentiu. [ TeilnehmendeR ]; ...
Published: c2006.
Superior document: NATO security through science series. D, Information and communication security ; vol. 1