CONCUR 2014 – Concurrency Theory

Book title Buchtitel

Series Schriftenreihe

Lecture Notes in Computer Science

Results 1-2 of 2 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Konnov, Igor ; Veith, Helmut ; Widder, Josef	On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability	Konferenzbeitrag Inproceedings	2014
	2		Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut	Parameterized Model Checking of Rendezvous Systems	Konferenzbeitrag Inproceedings	2014