Dirk Taubner

Available identifiers

zbMath Open taubner.dirkMaRDI QIDQ582132

List of research outcomes

Publication	Date of Publication	Type
Generating BDDs for symbolic model checking in CCS	2024-04-29	Paper
Generating BDDs for symbolic model checking in CCS	1993-06-29	Paper
Iteration theories of synchronization trees	1993-05-16	Paper
Finite representations of CCS and TCSP programs by automata and Petri nets	1993-01-23	Paper
A note on the notation of recursion in process algebras	1991-01-01	Paper
Representing CCS programs by finite predicate-transition nets	1990-01-01	Paper
Step failures semantics and a complete proof system	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753474	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4727440	1986-01-01	Paper

Research outcomes over time

This page was built for person: Dirk Taubner