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):

Displaying 1 item.

Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)

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