×

Collaboration Distance

Compute co-authors path between

and


Co-authors path:

The co-authors path between Patel, Kevin and Erdős, Pál has 6 edges.

0. Patel, Kevin

ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM. (English) Zbl 1459.68122
Jain, Rahul (ed.) et al., Theory and applications of models of computation. 12th annual conference, TAMC 2015, Singapore, May 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9076, 400-412 (2015).

1. Patel, Dhiren

Comparative analysis of formal model checking tools for security protocol verification. (English) Zbl 1207.68103
Meghanathan, Natarajan (ed.) et al., Recent trends in network security and applications. Third international conference, CNSA 2010, Chennai, India, July 23–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14477-6/pbk; 978-3-642-14478-3/ebook). Communications in Computer and Information Science 89, 152-163 (2010).

2. Rajarajan, Muttukrishnan

3. Li, Fei

4. Naor, Joseph Seffi

5. Alon, Noga

6. Erdős, Pál