Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009) [pdf]
3 by boshomi | 0 comments on Hacker News.
Jan 31, 2019
New top story on Hacker News: Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009) [pdf]
';
(function() {
var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
dsq.src = '//' + disqus_shortname + '.disqus.com/embed.js';
(document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
})();
0 comments:
Post a Comment