Verification, Model Checking, and Abstract Interpretation

Overview of attention for book

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 25 On Preprocessing for Weighted MaxSAT

Attention for Chapter: Formal Semantics and Verification of Network-Based Biocomputation Circuits

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 2 Dimensions

Readers on

mendeley: 3 Mendeley

Summary X Dimensions citations

So far, Altmetric has seen 1 X post from an account with 61 followers.

Our paper on 'Formal Verification of Network Based Biocomputation Circuits' presented this week at VMCAI'21 is available @Bio4Comp https://t.co/o67RF1TS4B

20 Jan 2021

Reply Repost Favourite

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.

Verification, Model Checking, and Abstract Interpretation

Table of Contents

Mentioned by

Citations

Readers on