scientific article; zbMATH DE number 4050940
From MaRDI portal
Publication:3787429
zbMATH Open0644.68010MaRDI QIDQ3787429FDOQ3787429
Authors: Sudhir Aggarwal, Rafael Alonso, Costas Courcoubetis 
Publication date: 1988
Title of this publication is not available (Why is that?)
Cited In (6)
- Distributed verification of multi-threaded C++ programs
- Fully Dynamic Single-Source Reachability in Practice: An Experimental Study
- Assumption-based analysis of distance-bounding protocols with \textsc{cpsa}
- A work-efficient distributed algorithm for reachability analysis
- Dynamic analysis of the arrow distributed protocol
- Reachability analysis on distributed executions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787429)
