Towards a Maude tool for model checking temporal graph properties Open new browser tab
(2011)
Start website main content
Pubblicazioni istituto
Risultati ricerca pubblicazioni
-
-
The emergence and impact of market institutions: The wholesale market for fish and other perishable commodities Open new browser tab
(2011)
-
Toward Formal Representation of Search Processes and Routines in Organizational Problem Solving. An Assessment of the State-of-the-Art Open new browser tab
(2011)
-
An empirical study on the determinants of essential patent claims in compatibility standards Open new browser tab
(2011)
-
Causal Search in Structural Vector Autoregressive Models Open new browser tab
(2011)
-
Growth Processess of Italian Manufacturing Firms Open new browser tab
(2011)
-
Exporting under financial constraints: margins, switching dynamics and prices Open new browser tab
(2011)
-
The spinning jenny and the guillotine: technology diffusion at the time of revolutions Open new browser tab
(2011)
-
La popolazione Open new browser tab
(2011)
-
Lo studio Open new browser tab
(2011)