Amanote Research
Register
Sign In
Model Checking Birth and Death
doi 10.1007/978-0-387-35608-2_36
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2002
Authors
Dino Distefano
Arend Rensink
Joost-Pieter Katoen
Publisher
Springer US