scientific article; zbMATH DE number 1765704
From MaRDI portal
Publication:4539645
zbMATH Open0988.03051MaRDI QIDQ4539645FDOQ4539645
Steffen Schlager, Bernhard Beckert
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830626
Title of this publication is not available (Why is that?)
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)
Cited In (7)
- A deductive approach towards reasoning about algebraic transition systems
- A dynamic logic with branching modalities
- A sequent calculus for propositional dynamic logic for agents with interactions
- A Dynamic Logic with Traces and Coinduction
- Tableau reasoning and programming with dynamic first order logic
- A system for compositional verification of asynchronous objects
- High-Level Programs and Program Conditions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539645)
