News for hackers. Stuff that matters.

A comment on An Introduction to Temporal Logic (With Applications to Concurrency Problems). Parent comment

Re:An Introduction to Temporal Logic (With Applications to C... by azaras on Wednesday January 24, 2024 @11:57AM (#39119628)
You are right, that one.
[ Parent | on HN ]

There are no comments on this comment yet.