@article{Velev2018, author = "Miroslav N Velev and Randal E. Bryant", title = "{Incorporating Timing Constraints in the Efficient Memory Model for Symbolic Ternary Simulation}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Incorporating_Timing_Constraints_in_the_Efficient_Memory_Model_for_Symbolic_Ternary_Simulation/6606428", doi = "10.1184/R1/6606428.v1" }