Computation of Summaries Using Net Unfoldings.

Javier Esparza Loïg Jezequel Stefan Schwoon

Published in: FSTTCS (2013)

Keyphrases

data mining
information systems
three dimensional
database
case study