Back to Highlights

Highlights 2016

Visibly Linear Dynamic Logic

Conference Abstract Sessions 6 – Verification (chair: Ranko Lazic, room: Forum A) Logic in Computer Science · Theoretical Computer Science

Abstract

No abstract is available in the live database for this paper.

Authors

Martin Zimmermann

Keywords

No keywords are indexed for this paper.

Context

Venue: Highlights of Logic, Games and Automata
Archive span: 2013-2025
Indexed papers: 1236
Paper id: 934335372279506949