Travelled to:
1 × Austria
Collaborated with:
M.T.Dashti D.A.Basin
Talks about:
anchor (1) separ (1) ltl (1)
Person: Grgur Petric Maretic
DBLP: Maretic:Grgur_Petric
Contributed to:
Wrote 1 papers:
- LICS-CSL-2014-MareticDB #ltl
- Anchored LTL separation (GPM, MTD, DAB), p. 9.