Pages that link to "Item:Q493902"

From MaRDI portal

← Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8--9, 2015. Proceedings (Q493902)

Jump to:navigation, search

The following pages link to Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8--9, 2015. Proceedings (Q493902):

Displayed 2 items.

Verification of finite-state machines: a distributed approach (Q2413026) ‎ (← links)
Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) ‎ (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q493902"