"Bounded Model Checking of Traffic Light Control System."

Bin Yu, Zhenhua Duan, Cong Tian (2013)

Details and statistics

DOI: 10.1016/J.ENTCS.2014.12.006

access: open

type: Conference or Workshop Paper

metadata version: 2024-07-09