Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319941103, 9783319941110
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Context-Updates Analysis and Refinement in Chisel

2018 ◽  
pp. 328-346 ◽  
Author(s):  
Irina Măriuca Asăvoae ◽  
Mihail Asăvoae ◽  
Adrián Riesco

Improving Generalization in Software IC3

2018 ◽  
pp. 85-102 ◽  
Author(s):  
Tim Lange ◽  
Frederick Prinz ◽  
Martin R. Neuhäußer ◽  
Thomas Noll ◽  
Joost-Pieter Katoen

scholarly journals Petri Net Reductions for Counting Markings

2018 ◽  
pp. 65-84 ◽  
Author(s):  
Bernard Berthomieu ◽  
Didier Le Botlan ◽  
Silvano Dal Zilio
Keyword(s):  
Petri Net
Load More ...
Sign in / Sign up

Export Citation Format

Share Document