Description

• Title:
  Deduction Based Verification of Business Models
• Creator:
  Klimek, Radosław;
  Skrzyński, Paweł;
  Turek, Michał
• Description:
  Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2010; Nr 147, s. 173-188
• Object availability:
  free access
• Rights:
  Wszystkie prawa zastrzeżone (Copyright);
  Dla wszystkich w zakresie dozwolonego użytku
• Date:
  2010.12.31;
  2010
• Type:
  artykuł
• Language:
  English
• Publisher:
  Publishing House of Wrocław University of Economics
• Relation:
  Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2010; Nr 147;
  Advanced Information Technologies for Management – AITM 2010
• Subject:
  deductive reasoning;
  business processes;
  BPMN;
  workflow design patterns;
  formal verification;
  semantic tablea
• Data provider:
  Dolnośląska Biblioteka Cyfrowa
• Can I use it?:
  seek permission
• Type:
  image