Rippling in PVS
Workshop, Design and application of strategies / tactics in higher order logics ; 2003 ; Rome
2003-01-01
7 pages
Known as STRATA 2003
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
RIPPLING EFFECTS OF HIGHWAY INCIDENTS ON TRAFFIC FLOW, BASED ON CA-SIMULATION
British Library Conference Proceedings | 2000
|