Peter Lammich and Markus Müller-Olm: Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. (2007)conf/concur/LammichM0710.1007/978-3-540-74407-8_20Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures.2Peter Lammich1Markus Müller-Olm2287-302CONCURCONCUR20072007provenance information for RDF data of dblp record 'conf/concur/LammichM07'2017-05-23T01:11:19+0200