Sciweavers

RP
2015
Springer

The Ideal View on Rackoff's Coverability Technique

8 years 7 months ago
The Ideal View on Rackoff's Coverability Technique
ander Malkis. ​Multithreaded­Cartesian Abstract Interpretation of Multithreaded  Recursive Programs is Polynomial  ● Masaya Shimakawa, Shigeki Hagihara and Naoki Yonezaki. ​Reducing Bounded  Realizability Analysis to Reachability Checking  ● Igor Potapov. ​Insertion­Deletion Systems over Relational Words ​(informal presentation)             
Ranko Lazic, Sylvain Schmitz
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where RP
Authors Ranko Lazic, Sylvain Schmitz
Comments (0)