Description

• Title:
  Probability timed automata for investigating communication processes
• Creator:
  Piech, Henryk;
  Grodzki, Grzegorz
• Contributor:
  Korbicz, Józef (1951- ) (Red.);
  Uciński, Dariusz (Red.)
• Object availability:
  free access
• Rights:
  Biblioteka Uniwersytetu Zielonogórskiego
• Date:
  2015
• Type:
  artykuł
• Language:
  English
• Source:
  AMCS, volume 25, number 2 (2015);
  https://www.amcs.uz.zgora.pl/?action=papers&issue=61
• Publisher:
  Zielona Góra: Uniwersytet Zielonogórski
• Subject:
  protocol logic;
  probabilistic timed automata;
  communication security
• Identifier:
  10.1515/amcs-2015-0031
• Data provider:
  Zielonogórska Biblioteka Cyfrowa
• Can I use it?:
  check license
• Type:
  image