A. P. Sistla

MaRDI QIDQ198033zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 1953019 (Why is no real title available?)	2003-07-25	Paper
On model checking for the \(\mu\)-calculus and its fragments Theoretical Computer Science	2001-08-20	Paper
scientific article; zbMATH DE number 177509 (Why is no real title available?)	1993-05-18	Paper
Proving correctness with respect to nondeterministic safety specifications Information Processing Letters	1992-06-27	Paper
On verifying that a concurrent program satisfies a nondeterministic specification Information Processing Letters	1989-01-01	Paper
Automatic verification of finite-state concurrent systems using temporal logic specifications ACM Transactions on Programming Languages and Systems	1986-01-01	Paper
The complexity of propositional linear temporal logics Journal of the ACM	1985-01-01	Paper
A multiprocess network logic with temporal and spatial modalities Journal of Computer and System Sciences	1985-01-01	Paper
scientific article; zbMATH DE number 3932379 (Why is no real title available?)	1985-01-01	Paper
Can message buffers be axiomatized in linear temporal logic? Information and Control	1984-01-01	Paper
Deciding full branching time logic Information and Control	1984-01-01	Paper
scientific article; zbMATH DE number 3892598 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3823135 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

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