Thursday 31 January 2019

New top story on Hacker News: Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009) [pdf]

No comments:

Post a Comment