Parameterized Verification of Synchronized Concurrent Programs.
Saved in:
Superior document: | Linköping Studies in Science and Technology. Dissertations Series ; v.2125 |
---|---|
: | |
Place / Publishing House: | Linköping : : Linkopings Universitet,, 2021. {copy}2021. |
Year of Publication: | 2021 |
Edition: | 1st ed. |
Language: | English |
Series: | Linköping Studies in Science and Technology. Dissertations Series
|
Online Access: | |
Physical Description: | 1 online resource (216 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Automatic Verification of Parameterized Systems by Over-Approximation.
by: Jahundovics, Vladislavs.
Published: (2015.) - New Frontiers in Parameterized Complexity and Algorithms
-
Effusion cytology : a practical guide to cancer diagnosis / / Parvin Ganjei-Azar, Merce Jorda, Awtar Krishan.
by: Ganjei-Azar, Parvin.
Published: (c2011.) -
Behaviour of energetic coherent structures in turbulent pipe flow at high Reynolds numbers / / Zeinab Hallol.
by: Hallol, Zeinab,
Published: ([2021]) -
Militarizing the Nation : : The Army, Business, and Revolution in Egypt / / Zeinab Abul-Magd.
by: Abul-Magd, Zeinab,
Published: ([2017])