Aarhus University Seal / Aarhus Universitets segl

A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationFoundations of Software Science and Computational Structures : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
EditorsMartin Hofmann
Number of pages15
PublisherSpringer
Publication year2011
Pages305-319
ISBN (print)978-3-642-19804-5
ISBN (Electronic)978-3-642-19805-2
DOIs
Publication statusPublished - 2011
Externally publishedYes
SeriesLecture Notes in Computer Science
Volume6604
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 73743132