Original language | English |
---|---|
Title of host publication | International IFIP Symposium on Protocol Specification, Testing and Verification |
Publication date | 1994 |
Publication status | Published - 1994 |
Event | A Refinement Logic for the Fork Calculus - Duration: 19 May 2010 → … |
Conference
Conference | A Refinement Logic for the Fork Calculus |
---|---|
Period | 19/05/2010 → … |