@PhdThesis{       Vereijken,
  Author        = "Vereijken, Jan Joris",
  date-added    = "2012-07-04 16:03:01 +0200",
  date-modified = "2012-07-04 16:03:26 +0200",
  Keywords      = "timed process algebra",
  Title         = "Discrete-Time Process Algebra",
  File          = "Discrete-Time Process Algebra - Vereijken (0) (0) - a - a - b.pdf"
}

@PhdThesis{ Vereijken, Author = "Vereijken, Jan Joris", date-added = "2012-07-04 16:03:01 +0200", date-modified = "2012-07-04 16:03:26 +0200", Keywords = "timed process algebra", Title = "Discrete-Time Process Algebra", File = "Discrete-Time Process Algebra - Vereijken (0) (0) - a - a - b.pdf" }