Sign in
Bounded self-stabilizing Petri nets
Journal article   Peer reviewed

Bounded self-stabilizing Petri nets

Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier and R. Rodney Howell
Acta informatica, Vol.32(3), pp.189-207
1995-03

Metrics

InCites Highlights

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Collaboration types
Industry collaboration
Domestic collaboration
Citation topics
4 Electrical Engineering, Electronics & Computer Science
4.47 Software Engineering
4.47.408 Model Checking
Web Of Science research areas
Computer Science, Information Systems
ESI research areas
Computer Science

UN Sustainable Development Goals (SDGs)

This output has contributed to the advancement of the following goals:

undefined

Source: InCites

Details