Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Robert Jan van Glabbeek
The Coarsest Precongruences Respecting Safety and Liveness Properties
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Related publications
Safety and Liveness for an RBAC/MAC Security Model
IFIP International Federation for Information Processing
Specification and Proof of Liveness Properties in B Event Systems
Model Checking Liveness Properties of Genetic Regulatory Networks
Video Liveness Verification
International Journal of Trend in Scientific Research and Development
Simulation as Coarsest Partition Problem
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Respecting the Instructions for Authors
Industrial Health
Mutagenesis
Public Health
Environmental
Health
Toxicology
Occupational Health
Saving Lives and Respecting Persons
Journal of Ethics and Social Philosophy
Liveness With Invisible Ranking
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Liveness Detection With Opencv
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
