vix.ing
·
top
·
new
·
best
·
stats
·
spec
Maximova, Maria
Probabilistic Metric Temporal Graph Logic
2021/06/15 by
Schneider, Sven
,
Maximova, Maria
,
Giese, Holger
· 1 citation
#FOS: Computer and information sciences
#Software Engineering (cs.SE)