Improved verification methods for concurrent systems release_nvslkzerojachh7mptsossxnhq

by Ploeger, SCW (Bas), Groote, JF (Jan Friso), Wijk, JJ (Jarke) = (Jack) Van, Willemse, TAC (Tim)

Published by Technische Universiteit Eindhoven.

2009  

Archived Files and Locations

application/pdf  1.5 MB
file_k5liiedklzf4notm4izgewjhyu
pure.tue.nl (publisher)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   published
Year   2009
Language   en ?
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 2c3e776f-4ba8-4753-bbed-b1ffa3b078af
API URL: JSON