work_fcsgfhc3gbdc3nts3g3jfcxacm

Releases

1989 Verifying communication protocols in MIZAR-2
published | article-journal
doi:10.7939/r3ft8dv1v

What is a "Work"?

A Fatcat "work" groups a set of releases that are all editings or editing stages of the same intellectual contribution. For example, a pre-print and a published article may contain small differences, but still reference the same underlying "work".