A compared study of two correctness proofs for the standardized algorithm of ABR conformance
From MaRDI portal
Publication:1395676
DOI10.1023/A:1021704214464zbMath1033.68094OpenAlexW1528909878MaRDI QIDQ1395676
Laurent Fribourg, Jean-François Monin, Béatrice Bérard, Francis Klay
Publication date: 1 July 2003
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1021704214464
Related Items
Uses Software
