About
Editorial Board
Submission Guidelines
Publication Ethics
Contact
Issues
Vol. 12(1) - Ethics, climate and the environment
Vol. 11(2) - Ontology and phenomenology of movement
Vol. 11(1) - Didactics of philosophy and philosophical practices
Vol. 10(2) - On history
Vol. 10(1) - Familiarity and togetherness
Vol. 9(2) - Reification
Vol. 9(1) - Diagrammatic gestures
Vol. 8(2) - Positive feelings on the border between phenomenology, psychology and virtue ethics
Vol. 8(1) - On institutions
Vol. 7(2) - Mediation
Vol. 7(1) - Self and singularity
Special Issue 1.3 - On the transcendental III
Vol. 6(2) - Phenomenologies of sacrifice
Vol. 6(1) - Philosophy and literature
Vol. 5(2) - Responsibility and justice for future generations in dialogue with phenomenology
Vol. 5(1) - Intersubjectivity and recognition
Special Issue 1.2 - On the transcendental II
Vol. 4(2) - Phenomenology and linguistics
Vol. 4(1) - Facing global crisis after Europe
Vol. 3(2) - Supervenience and the theory of experience
Vol. 3(1) - Phenomenology and semiotics
Special Issue 1.1 - On the transcendental
Vol. 2(2) - On Virtuality
Vol. 2(1) - Human rights in a plural ethical framework
Vol. 1(2) - Naturalism and subjectivity
Vol. 1(1) - On phenomenological method
Submit Article
Login
METODO
International Studies in Phenomenology and Philosophy
Journal |
Contributors
| Profile
References
Stephan Merz
Bibliography
1
Export
Model checking techniqes for the analysis of reactive systems
2002
Synthese 133/1-2
Order by
↓
↑
abc
Filter
All
Books
Edited Books
Articles
Language
All
english/english
Period
All
2000-2009
Style
Default
APA
Français
Harvard
Clear filters
