Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by F. Kröger
On Temporal Program Verification Rules
RAIRO. Informatique théorique
Related publications
Verification of Security Policy Filtering Rules With Temporal Parameters by Model Checking
SPIIRAS Proceedings
Control
Systems Engineering
Information Systems
Computer Networks
Applied Mathematics
Mathematics
Communications
Computer Science Applications
Computational Theory
Computational Mathematics
Artificial Intelligence
Verification of Temporal Properties
Temporal Verification by Diagram Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Patterns for Document Verification
Adding Temporal Semantics to Association Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Marketing Program Based on Market Rules and Industry Development
Program Verification by Using DISCOVERER
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Checking for Program Verification
Analysis and Verification of ECA Rules in Intelligent Environments
Journal of Ambient Intelligence and Smart Environments
Software
