机构:
Dept. of Civil and Environmental Engineering, Technion-Israel Institute of Technology, Technion City, Haifa, IsraelDept. of Civil and Environmental Engineering, Technion-Israel Institute of Technology, Technion City, Haifa, Israel
Ostfeld, Avi
[1
]
机构:
[1] Dept. of Civil and Environmental Engineering, Technion-Israel Institute of Technology, Technion City, Haifa, Israel
机构:
DTU Informatics, Technical University of Denmark, Building 305, DK-2800 Lyngby, DenmarkDTU Informatics, Technical University of Denmark, Building 305, DK-2800 Lyngby, Denmark
Hansen, Michael R.
Journal of Logic and Algebraic Programming,
2012,
81
(04):