Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems release_ledgihizhncsnltkcudmbxmne4

by Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal

Published in Lecture Notes in Computer Science by Springer International Publishing.

2020   p336-365

Archived Files and Locations

application/pdf  545.5 kB
file_osvpswuntrejvba27xbidz5zqe
link.springer.com (publisher)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2020
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 8530c980-65b2-4bf4-814a-13d73567bee2
API URL: JSON