L. D. Natanson

According to our database¹, L. D. Natanson authored at least 1 paper in 1988.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1988

An Animator for CSP Implemented in HOPE.

[BibT_eX]

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988