Counter Abstraction in the CSP/FDR setting
From MaRDI portal
Publication:2810979
DOI10.1016/j.entcs.2009.08.012zbMath1339.68170OpenAlexW2153791853MaRDI QIDQ2810979
Publication date: 6 June 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.08.012
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
This page was built for publication: Counter Abstraction in the CSP/FDR setting