1,392 followers
RT @ariegurfinkel: @krismicinski @ShriramKMurthi @MarisaVeryMoe I can recommmed Spacer (https://t.co/T1yVUGOdxk) , polypdr ( https://t.co/z…
RT @ariegurfinkel: @krismicinski @ShriramKMurthi @MarisaVeryMoe I can recommmed Spacer (https://t.co/T1yVUGOdxk) , polypdr ( https://t.co/z…
@krismicinski @ShriramKMurthi @MarisaVeryMoe I can recommmed Spacer (https://t.co/T1yVUGOdxk) , polypdr ( https://t.co/zJGc0sSLvJ) , and ice (https://t.co/sOjXK5kTic ) for different interpretations of IC3/PDR and variants