%0 Conference Paper %1 conf/apaqs/GrieskampLST01 %A Grieskamp, Wolfgang %A Lepper, Markus %A Schulte, Wolfram %A Tillmann, Nikolai %B APAQS %D 2001 %I IEEE Computer Society %K %P 167-172 %T Testable Use Cases in the Abstract State Machine Language. %U http://dblp.uni-trier.de/db/conf/apaqs/apaqs2001.html#GrieskampLST01 %@ 0-7695-1287-9

@inproceedings{conf/apaqs/GrieskampLST01, added-at = {2023-12-14T16:48:04.000+0100}, author = {Grieskamp, Wolfgang and Lepper, Markus and Schulte, Wolfram and Tillmann, Nikolai}, biburl = {https://www.bibsonomy.org/bibtex/27db8705ea296180f68f4f844ccd50cc1/admin}, booktitle = {APAQS}, crossref = {conf/apaqs/2001}, ee = {http://doi.ieeecomputersociety.org/10.1109/APAQS.2001.990016}, interhash = {fd4a073218ade19eab7593ed760b0873}, intrahash = {7db8705ea296180f68f4f844ccd50cc1}, isbn = {0-7695-1287-9}, keywords = {}, pages = {167-172}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T16:48:04.000+0100}, title = {Testable Use Cases in the Abstract State Machine Language.}, url = {http://dblp.uni-trier.de/db/conf/apaqs/apaqs2001.html#GrieskampLST01}, year = 2001 }