J. W. Wesselink

From MaRDI portal

Revision as of 14:49, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)

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

Person:716320

Jump to:navigation, search

Available identifiers

zbMath Open wesselink.j-wMaRDI QIDQ716320

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
Verification of reactive systems via instantiation of parameterised Boolean equation systems	2011-04-28	Paper

Research outcomes over time

This page was built for person: J. W. Wesselink

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