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
A multiprocess network logic with temporal and spatial modalities	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3704886	1985-01-01	Paper
The complexity of propositional linear temporal logics	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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