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