@misc{
  al-1999-demo,
  title = {{MuDiv}: A Tool for Partial Model Checking},
  author = {Henrik~Reif~Anders and J\o{}rn~Lind-Nielsen},
  howpublished = {Demo presentation at CONCUR},
  year = 1996
}