%0 Generic %1 STSimulatorV271007 %A Frantzen, Lars %D 2007 %K formal ioco java library mbt sts testing %T STSimulator - A Library to Simulate Symbolic Transition Systems

@misc{STSimulatorV271007, added-at = {2010-10-21T14:17:33.000+0200}, author = {Frantzen, Lars}, biburl = {https://www.bibsonomy.org/bibtex/20f29d107e93df658e79240d4873c1894/davef}, day = 27, interhash = {1b97207d8e90df7508f99a22e2f2e1e4}, intrahash = {0f29d107e93df658e79240d4873c1894}, keydf = {library1}, keywords = {formal ioco java library mbt sts testing}, month = {October}, timestamp = {2010-10-21T14:17:33.000+0200}, title = {STSimulator - A Library to Simulate Symbolic Transition Systems}, year = 2007 }