Merkliste 
 1 Ergebnisse 
 
1

Translating Xd-C programs to MSVL programs:

Wang, Meng ; Tian, Cong ; Zhang, Nan..
Theoretical Computer Science.  809 (2020)  - p. 430-465 , 2020