Algebraic derivation of until rules and application to timer verification

DOI10.1007/978-3-030-02149-8_15OpenAlexW2895309255WikidataQ62039024 ScholiaQ62039024MaRDI QIDQ1617827

Bernhard Möller, Roland Glück, Jessica Ertel

Publication date: 8 November 2018

Full work available at URL: https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-681608

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Geographic wayfinders and space-time algebra

This page was built for publication: Algebraic derivation of until rules and application to timer verification