Funder
Slovenian Research Agency
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
General Engineering,General Materials Science,General Computer Science
Reference45 articles.
1. Generating linear finite witness automata for ACTLW formulae with EST;vogrin,2018