Amanote Research
Register
Sign In
Resolution-Based Model Construction for PLTL
doi 10.1109/time.2009.11
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2009
Authors
Michel Ludwig
Ullrich Hustadt
Publisher
IEEE
Related search
Partitioned PLTL Model-Checking for Refined Transition Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Labelled Superposition for PLTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Entity Based Model for Coreference Resolution
Finite Detector Based Projection Model for High Spatial Resolution
Journal of X-Ray Science and Technology
Electronic Engineering
Nuclear Medicine
Radiology
Condensed Matter Physics
Instrumentation
Radiation
Electrical
Imaging
Model-Based Combined Tracking and Resolution Enhancement
Proceedings - International Conference on Pattern Recognition
Computer Vision
Pattern Recognition
Risk-Based Audit Model Construction Based on Big Data Age
DEStech Transactions on Engineering and Technology Research
A Model-Based Approach for Combined Tracking and Resolution Enhancement of Faces in Low Resolution Video
Mobile Multimedia Classroom Construction for Rhythmic Gymnastics Based on APT Teaching Model
International Journal of Emerging Technologies in Learning
Engineering
Education
E-learning
Lessons Learned From a PLTL-CS Program