Invariant-preserving transformations for the verification of place/transition systems (with application to the verification of protocols).
Statistics
uO Research has been collecting usage data since January 2013. To the best of our ability, this data excludes entries from search engines. Statistics are available at the item, collection and repository level.