| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 21 |       | Sudhir Aggarwal, Daniel Barbará, Walter Cunto, M. R. Garey: The Complexity of Collapsing Reachability Graphs. Automatic Verification Methods for Finite State Systems 1989: 264-274 |
| 15 | | Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth: A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency. IEEE Trans. Software Eng. 14(3): 280-290 (1988) |
| 14 |  | Sudhir Aggarwal, Daniel Barbará, Costas Courcoubetis: LAN Broadcast Protocols for Implementing the CCA Model. PSTV 1987: 297-306 |
| 11 | | Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth: SPANNER: A Tool for the Specification, Analysis, and Evaluation of Protocols. IEEE Trans. Software Eng. 13(12): 1218-1237 (1987) |
| 10 | | Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth: Specifying and Analyzing Protocols with SPANNER. ICC 1986: 556-562 |
Selection of 5 from 104 records - Daniel Barbará has 93 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page