Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Stubborn sets for reduced state space generation

1991542 citationsBook Chapter

Authors

Antti Valmari · VTT Technical Research Centre of Finland

Topics & Keywords

Petri Nets in System Modeling Formal Methods in Verification Advanced Software Engineering Methodologies

UN Sustainable Development Goals

Sustainable cities and communities

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/3-540-53863-1_36

Field-Weighted Citation Impact: 28.80

Stubborn sets for reduced state space generation | Researchclopedia