Works matching IS 18605974 AND DT 2016 AND VI 12 AND IP 3
1
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:13)2016
- Article
2
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:11)2016
- JONGMANS, SUNG-SHIK T. Q.;
- ARBAB, FARHAD
- Article
3
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:5)2016
- Article
4
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:6)2016
- Article
5
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:7)2016
- CLOUSTON, RANALD;
- BIZJAK, ALE;
- GRATHWOHL, HANS BUGGE;
- BIRKEDAL, LARS
- Article
6
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:2)2016
- EADES III, HARLEY;
- STUMP, AARON;
- MCCLEEARY, RYAN
- Article
7
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:3)2016
- MURAWSKI, ANDRZEJ S.;
- TZEVELEKOS, NIKOS
- Article
8
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:1)2016
- DEMRI, STÉPHANE;
- FIGUEIRA, DIEGO;
- PRAVEEN, M.
- Article
9
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:10)2016
- BRIDGES, DOUGLAS;
- DENT, JAMES;
- MCKUBRE-JORDENS, MAARTEN
- Article
10
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:12)2016
- Article
11
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:9)2016
- Article
12
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:4)2016
- KLEIN, FELIX;
- ZIMMERMANN, MARTIN
- Article
