Vol-2015⫷ Vol-2016 ⫸Vol-2017
urn:nbn:de:0074-2016-0


Vol-2016/paper2⫷Vol-2016/paper3⫸Vol-2016/paper4

A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes