Abstractions of random finite-state machines
From MaRDI portal
Publication:5943266
DOI10.1023/A:1011218301362zbMath1001.68068OpenAlexW1550172221MaRDI QIDQ5943266
Publication date: 9 September 2001
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1011218301362
This page was built for publication: Abstractions of random finite-state machines