Information Processing Letters

Paper

30 May 1986

Limits for automatic verification of finite-state concurrent systems

View publication

Abstract

No abstract available.

Related

Conference paper

Molecular quantum dynamics: a quantum computing perspective

Conference paper

Case-based Reasoning for Better Generalization in Text-Adventure Games

Workshop paper

PaccMannRL on SARS-CoV-2: Designing antiviral candidates with conditional generative models

Conference paper

Sequential Digital Signatures for Cryptographic Software-Update Authentication

View all publications