%0 Journal Article %1 Explorer2003 %A Explorer, P.B. %D 2003 %J Formal Systems (Europe) Ltd %K %T ProBE user manual

@article{Explorer2003, added-at = {2010-12-02T22:49:02.000+0100}, author = {Explorer, P.B.}, biburl = {https://www.bibsonomy.org/bibtex/2b481e706df9182750dc7858c08d35073/tasawer}, interhash = {ac998ab442d0fe68e65cdf34fe8b2dcc}, intrahash = {b481e706df9182750dc7858c08d35073}, journal = {Formal Systems (Europe) Ltd}, keywords = {}, timestamp = {2011-03-29T21:57:23.000+0200}, title = {ProBE user manual}, year = 2003 }