Four-Way Traffic Intersection System in Real-Time Maude
论文:ModelingandFormalAnalysisoftheNAOMIEDeTCMS-4Four-WayTrafficIntersectionSysteminReal-TimeMaude原文作者:PeterCsabaOlveczky(DepartmentofInformatics,UniversityofOslo),Jos´eMeseguer(DepartmentofComputerScie