First Page | Document Content | |
---|---|---|
Date: 2009-08-03 14:13:17Production–possibility frontier Austrian business cycle theory Macroeconomics Inflation Keynesian economics Man Economy and State Friedrich Hayek Monetarism Neoclassical economics Economics Economic theories Austrian School | GARRISONIAN MACROECONOMICS JÖRG GUIDO HÜLSMANNAdd to Reading ListSource URL: www.mises.orgDownload Document from Source WebsiteFile Size: 44,02 KBShare Document on Facebook |
A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017DocID: 1xW3e - View Document | |
What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2DocID: 1xW0i - View Document | |
A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifiDocID: 1xVZ6 - View Document | |
Motivation Interleaving AVATARDocID: 1xVYE - View Document | |
Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USADocID: 1xVWh - View Document |