ACTL for modal interface automata

From MaRDI portal
Publication:2404073

DOI10.1016/j.tcs.2017.06.011zbMath1373.68296OpenAlexW2727157302MaRDI QIDQ2404073

Ferenc Bujtor, Walter Vogler

Publication date: 12 September 2017

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2017.06.011




Related Items (2)


Uses Software



Cites Work




This page was built for publication: ACTL for modal interface automata