310 followers
RT @Rolf_Drechsler: Published "ParCoSS: Efficient Parallelized Compiled Symbolic Simulation" at #CAV2016 with #Springer https://t.co/aTdYbg…
RT @Rolf_Drechsler: Published "ParCoSS: Efficient Parallelized Compiled Symbolic Simulation" at #CAV2016 with #Springer https://t.co/aTdYbg…
Published "ParCoSS: Efficient Parallelized Compiled Symbolic Simulation" at #CAV2016 with #Springer https://t.co/aTdYbgJPcE @agra_uni_bremen