Merkliste 
 1 Ergebnisse 
 
1

Approximate Simulation for Transition Systems with Regular ..:

, In: Communications in Computer and Information Science; Artificial Intelligence Logic and Applications,
Cui, Xinyu ; Li, Zhaokai ; Chang, Yuting. - p. 49-62 , 2022