Soft constraint programming to analysing security protocols
From MaRDI portal
Publication:4669650
DOI10.1017/S1471068404002121zbMath1087.68515MaRDI QIDQ4669650
Stefano Bistarelli, Giampaolo Bella
Publication date: 15 April 2005
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Related Items