T. Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science, 2002. paraitre. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Fundamenta Informaticae XX (2004) 1--31 1 IOS Press - Feature Specification.. (Correct)
No context found.
T. Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science, 2002. paraitre.
A note on Robinson consistency lemma - Aiguier, Schobbens (2006) (Correct)
No context found.
T. Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science, 286:197--245, 2002.
Mixed Specification Logic - Marc Aiguier Fabrice (Correct)
No context found.
Tomasz Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science, 2002. to appear.
A Logic with Temporal Glue for Mixed Specifications - Aiguier, Barbier, Poizat (2003) (Correct)
No context found.
Borzyszkowski, T., Logical systems for structured specifications, Theoretical Computer Science 286 (2002), pp. 197--245.
A Logic with Temporal Glue for Mixed Specifications - Aiguier, Barbier, Poizat (2003) (Correct)
No context found.
Borzyszkowski, T., Logical systems for structured specifications, Theoretical Computer Science 286 (2002), pp. 197--245.
Modular Construction of Modal Logics - Corina Crstea And (Correct)
No context found.
T. Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science, 286(2):197--245, 2002.
Modular Construction of Modal Logics - Corina Crstea And (Correct)
No context found.
T. Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science, 286(2):197--245, 2002.
CASL - The Common Algebraic Specification.. - Mossakowski.. (2003) (Correct)
No context found.
T. Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science, 286:197-245, 2002.
Modular Construction of Modal Logics - Crstea, Pattinson (2004) (Correct)
No context found.
T. Borzyszkowski. Logical systems for structured specifications. Theoret. Comput. Sci., 286(2):197--245, 2002.
Constructor-based Observational Logic - Bidoit, Hennicker (2003) (1 citation) (Correct)
No context found.
Tomasz Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science, 286(2):197--245, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC