David P. L. Simons

From MaRDI portal

Revision as of 01:26, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:225106

Jump to:navigation, search

Available identifiers

zbMath Open simons.david-p-lMaRDI QIDQ225106

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k	2001-01-01	Paper

Research outcomes over time

This page was built for person: David P. L. Simons

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:225106&oldid=7409422"