I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Linear Logic as a Tool for Deadlock-Freeness Scenarios Dete..:

, In: 2014 IEEE 26th International Conference on Tools with Artificial Intelligence,
Soares Passos, Ligia Maria ; Julia, Stephane - p. 316-320 , 2014
Link: https://doi.org/10.1109/ICTAI.2014.55