Author:
Kleijn Jetty,Koutny Maciej
Publisher
Springer Berlin Heidelberg
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Elementary Net Systems with Activator and Mutex Arcs;Paradigms of Concurrency;2022
2. SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets;2018 18th International Conference on Application of Concurrency to System Design (ACSD);2018-06
3. Signal set tissue systems and overlapping localities;Theoretical Computer Science;2017-11
4. A Structured Visual Approach to GALS Modeling and Verification of Communication Circuits;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2017-06
5. Applying regions;Theoretical Computer Science;2017-01