Formal Description Techniques and Protocol Specification, Testing and VerificationAtsushi Togashi, Teruo Higashino og 2 andrePocketEngelskDel av serien IFIP Advances in Information and Communication TechnologyLegg i handlekurvNettlager