A. P. Sistla

Available identifiers

zbMath Open sistla.aravinda-prasadMaRDI QIDQ198033

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4414377	2003-07-25	Paper
On model checking for the \(\mu\)-calculus and its fragments	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4037378	1993-05-18	Paper
Proving correctness with respect to nondeterministic safety specifications	1992-06-27	Paper
On verifying that a concurrent program satisfies a nondeterministic specification	1989-01-01	Paper
Automatic verification of finite-state concurrent systems using temporal logic specifications	1986-01-01	Paper
The complexity of propositional linear temporal logics	1985-01-01	Paper
A multiprocess network logic with temporal and spatial modalities	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3704886	1985-01-01	Paper
Can message buffers be axiomatized in linear temporal logic?	1984-01-01	Paper
Deciding full branching time logic	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5184412	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3668862	1983-01-01	Paper

Research outcomes over time

This page was built for person: A. P. Sistla