Old Web
English
Sign In
Acemap
>
Paper
>
Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores
Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores
2016
Germán Regis
Renzo Degiovanni
Nicolas DIppolito
Nazareno Aguirre
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]