Petra van Den Bos

From MaRDI portal
Person:2814130

Available identifiers

zbMath Open van-den-bos.petraMaRDI QIDQ2814130

List of research outcomes





PublicationDate of PublicationType
Coverage-based testing with symbolic transition systems2024-04-05Paper
With a little help from your friends: semi-cooperative games via joker moves2024-01-11Paper
A predicate transformer for choreographies. Computing preconditions in choreographic programming2023-08-03Paper
https://portal.mardi4nfdi.de/entity/Q33848832021-12-17Paper
Enhancing Automata Learning by Log-Based Metrics2016-06-17Paper

Research outcomes over time

This page was built for person: Petra van Den Bos

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2814130&oldid=7637209"
Powered by MediaWiki