Generation and verification of heterogeneous purchase processes

Andrei Popovici, Heiko Schuldt, Hans-Jörg Schek. Generation and verification of heterogeneous purchase processes. In TES. pages 5-22, 2000.

@inproceedings{PopoviciSS00,
  title = {Generation and verification of heterogeneous purchase processes},
  author = {Andrei Popovici and Heiko Schuldt and Hans-Jörg Schek},
  year = {2000},
  researchr = {https://researchr.org/publication/PopoviciSS00},
  cites = {0},
  citedby = {0},
  pages = {5-22},
  booktitle = {TES},
}