Found: 3
Select item for more details and to access through your institution.
Evaluation of thermal- and photo-crosslinked biodegradable poly(propylene fumarate)-based networks.
- Published in:
- Journal of Biomedical Materials Research, Part A, 2003, v. 66, n. 4, p. 811, doi. 10.1002/jbm.a.10011
- By:
- Publication type:
- Article
Sound statistical model checking for MDP using partial order and confluence reduction.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 429, doi. 10.1007/s10009-014-0349-7
- By:
- Publication type:
- Article
ANALYSIS OF TIMED AND LONG-RUN OBJECTIVES FOR MARKOV AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 3, p. 1, doi. 10.2168/LMCS-10(3:17)2014
- By:
- Publication type:
- Article