Kaustuv Chaudhuri (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

Selection of 2 from 8 records - Kaustuv Chaudhuri has 7 coauthors

6		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: A TLA+ Proof System. LPAR Workshops 2008
5		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: A TLA+ Proof System CoRR abs/0811.1914: (2008)