DOI,IST REx ID,Research Group,Title of publication
10.1007/s00165-013-0283-6,2836,KrCh,Assume-guarantee synthesis for digital contract signing