ENuSMV

swMATH13327MaRDI QIDQ25242FDOQ25242

Author name not available (Why is that?)

Official website: http://www.hindawi.com/journals/jam/2013/462532/

Described by source

• Bounded model checking of ETL cooperating with finite and looping automata connectives

This page was built for software: ENuSMV