SMT Solving for Vesicle Traffic Systems in Cells.

Ashutosh Gupta Ankit Shukla Mandyam Srivas Mukund Thattai

Published in: CoRR (2018)

Keyphrases

computer systems
intelligent systems
traffic management
real time
data sets
expert systems
distributed systems
knowledge based systems
cellular automata
retrieval systems
traffic accidents
transportation systems