The following pages link to Muralidhar Talupur (Q3421011):
Displayed 12 items.
- Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom (Q3457807) (← links)
- An Abstraction Technique for Real-Time Verification (Q3564011) (← links)
- (Q4514739) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308385) (← links)
- (Q5309035) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311479) (← links)
- Computer Aided Verification (Q5312895) (← links)
- Theory and Applications of Satisfiability Testing (Q5325852) (← links)
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (Q5458319) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898614) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899055) (← links)
- Computer Aided Verification (Q5900674) (← links)