Publications

of Fabian BŁttner

Articles in journal, book chapters

  1. Fabian BŁttner and Jordi Cabot. Lightweight string reasoning in model finding. Software & Systems Modeling, 14(1):413-427, 2015. ISSN: 1619-1374. [WWW] [doi:10.1007/s10270-013-0332-x]

BACK TO INDEX