Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by George Logothetis
Validation of Object-Oriented Concurrent Designs by Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Decoupling Model Checking From Object-Oriented Languages in Internet QoS
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Model Checking Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Optimization of Complex Mechanics Simulations With Object-Oriented Software Designs
Model Checking of Concurrent Algorithms: From Java to C
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
An Implementation of the Object-Oriented Concurrent Programming Language SINA
Software - Practice and Experience
Software
A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas
Tool Support for Model Checking of Web Application Designs
Analysis of Inheritance Anamoly in Object-Oriented Concurrent Programming Languages
