Showing 1 - 1 results of 1 for search 'Jahundovics, Vladislavs.', query time: 0.04s Refine Results
1
Automatic Verification of Parameterized Systems by Over-Approximation.
Participants: Jahundovics, Vladislavs. [ ]
Published: 2015.
Superior document: Linköping Studies in Science and Technology. Thesis Series ; v.1732
Links: Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search