Jawahar Chirimar (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Jawahar Chirimar, James Lipton: Provability in TBLL: A Decision Procedure. CSL 1991: 53-67

Selection of 1 from 5 records - Jawahar Chirimar has 5 coauthors