Proving equality of streams automatically
From MaRDI portal
Publication:5389096
DOI10.4230/LIPIcs.RTA.2011.393zbMath1236.68159OpenAlexW2168454138MaRDI QIDQ5389096
Publication date: 24 April 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_9af9.html
Related Items
Uses Software