Author:
Baarir S.,Beccuti M.,Dutheillet C.,Franceschinis G.,Haddad S.
Subject
Computer Networks and Communications,Hardware and Architecture,Modeling and Simulation,Software
Reference25 articles.
1. P. Huber, A.M. Jensen, L.O. Jepsen, K. Jensen, Towards reachability trees for high level Petri nets, in: Proc. of EWATPN, Aarhus, Denmark, 1984.
2. Better verification through symmetry;Norris;Formal Methods in System Design,1996
3. Symmetry and model checking;Emerson;Formal Methods in System Design,1996
4. Aggregation of stochastic automata networks with replicas;Benoit;Linear Algebra and its Applications,2004
5. Stochastic well-formed coloured nets for symmetric modelling applications;Chiola;IEEE Transactions on Computers,1993
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献