G. V. Bochmann

Available identifiers

zbMath Open bochmann.g-vMaRDI QIDQ1758716

List of research outcomes

Publication	Date of Publication	Type
FSM-based testing from user defined faults adapted to incremental and mutation testing	2012-11-16	Paper
Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols	1987-01-01	Paper
Properties of boolean functions with a tree decomposition	1974-01-01	Paper

Research outcomes over time

This page was built for person: G. V. Bochmann