formal . description . techniques . protocol . specification . testing . verification . ifip . advances . information . communication . technology . forte . xipstv . xviii' . joint . international . conference . distributed . systems . protocols . pstv . xviii . november . paris . france .
Format
Status
List Price