Formal Techniques for Networked and Distributed Systems FORTE 2001 / edited by Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee.
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques...
Full description
Saved in: