@InProceedings{   FigueiraHofmanLasota:EXPRESS:2010,
  Author        = "Figueira, Diego and Hofman, Piotr and Lasota, Sławomir",
  BookTitle     = "Proc. EXPRESS'10",
  date-added    = "2012-06-02 08:55:07 +0200",
  date-modified = "2020-08-10 17:20:40 +0200",
  Keywords      = "timed automata and data automata and nominal sets and readme",
  Pages         = "61--75",
  Series        = "EPTCS",
  Title         = "Relating timed and register automata",
  Volume        = "41",
  Year          = "2010",
  File          = "Relating timed and register automata - Figueira, Hofman, Lasota (0) (0) - a - a - z.pdf"
}

@InProceedings{ FigueiraHofmanLasota:EXPRESS:2010, Author = "Figueira, Diego and Hofman, Piotr and Lasota, Sławomir", BookTitle = "Proc. EXPRESS'10", date-added = "2012-06-02 08:55:07 +0200", date-modified = "2020-08-10 17:20:40 +0200", Keywords = "timed automata and data automata and nominal sets and readme", Pages = "61--75", Series = "EPTCS", Title = "Relating timed and register automata", Volume = "41", Year = "2010", File = "Relating timed and register automata - Figueira, Hofman, Lasota (0) (0) - a - a - z.pdf" }