IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification Testing and Verification (PSTV XVII), pp.267 - 282
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.