Comments pertaining to: On the Projection Method for Protocol Verification

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)370-371
JournalIEEE Transactions on Software Engineering
VolumeSE-16
Publication statusPublished - 1990 Mar 1

Cite this

Comments pertaining to: On the Projection Method for Protocol Verification. / Hirakawa, Yutaka.

In: IEEE Transactions on Software Engineering, Vol. SE-16, 01.03.1990, p. 370-371.

Research output: Contribution to journalArticle

@article{49535c7c3958475c9726c3d820a2a219,
title = "Comments pertaining to: On the Projection Method for Protocol Verification",
author = "Yutaka Hirakawa",
year = "1990",
month = "3",
day = "1",
language = "English",
volume = "SE-16",
pages = "370--371",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Comments pertaining to: On the Projection Method for Protocol Verification

AU - Hirakawa, Yutaka

PY - 1990/3/1

Y1 - 1990/3/1

M3 - Article

VL - SE-16

SP - 370

EP - 371

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

SN - 0098-5589

ER -