Ben Moszkowski

De Montfort University - Leicester / United Kingdom

Others

AD Scientific Index ID: 4331417

Registration, Add Profile,
Premium Membership

Print Your Certificate

Ben Moszkowski's MOST POPULAR ARTICLES

1-) Executing temporal logic programs: preliminary versionB MoszkowskiSeminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9–11 …, 19856911985

2-) A temporal logic for multi-level reasoning about hardwareB MoszkowskiIEEE Computer 18 (2), 10-19, 19855581985

3-) Reasoning about Digital CircuitsB MoszkowskiDept. of Computer Science, Stanford University, 19833731983

4-) A hardware semantics based on temporal intervalsJ Halpern, Z Manna, B MoszkowskiAutomata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 19832381983

5-) Reasoning in interval temporal logicB Moszkowski, Z MannaWorkshop on Logic of Programs, 371-382, 19831371983

ARTICLES

Add your articles