Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨

First Page		Document Content
Date: 2004-10-12 04:45:38 Models of computation Concurrency Diagrams Petri net Software engineering Symbol Model checking Theoretical computer science Metaphor		Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨ Add to Reading List Source URL: rodin.cs.ncl.ac.uk Download Document from Source Website File Size: 171,14 KB Share Document on Facebook

	Ana Luisa Rébora’s Transfiguration of Figures The sense creates the pose. In this it moves and speaks. This is the figure and not An evading metaphor. DocID: 1vqc6 - View Document
	Vincent Berne - Pourquoi, selon Hintikka la récursivité n’est-elle pas la source de la créativité du langage ? Lectures des Fondements d’une théorie du langageet de "Metaphor and Other Kinds of Nonlitera DocID: 1vm7S - View Document
	What metaphor identification systems can tell us about metaphor-in-language Jonathan Dunn Purdue University West Lafayette, Indiana USA DocID: 1vk4a - View Document
	Metaphor and Symbol, 30: 259–289, 2015 Copyright © Taylor & Francis Group, LLC ISSN: printonline DOI: Modeling Abstractness and Metaphoricity DocID: 1vgLr - View Document
	Jaakko Hintikka et Gabriel Sandu - Metaphor and Other Kinds of Nonliteral Meanings (1994) DocID: 1uYn3 - View Document