Invariant-preserving transformations for the verification of place/transition systems (with application to the verification of protocols).


Page Views

Total 235

File Downloads

MM07813.PDF 76

Recent Activity - Last 12 Months

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.