3 results on '"Fernando Rosa-Velardo"'
Search Results
2. Ordinal theory for expressiveness of well-structured transition systems.
Catalog
Books, media, physical & digital resources
3. Multiset rewriting for the verification of depth-bounded processes with name binding.
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.