%0 Conference Paper %1 conf/ftrtft/JonssonHW94 %A Jonsson, Bengt %A Ho-Stuart, Chris %A Yi, Wang %B FTRTFT %D 1994 %E Langmaack, Hans %E de Roever, Willem P. %E Vytopil, Jan %I Springer %K dblp %P 418-430 %T Testing and Refinement for Nondeterministic and Probabilistic Processes. %U http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1994.html#JonssonHW94 %V 863 %@ 3-540-58468-4

@inproceedings{conf/ftrtft/JonssonHW94, added-at = {2021-08-31T00:00:00.000+0200}, author = {Jonsson, Bengt and Ho-Stuart, Chris and Yi, Wang}, biburl = {https://www.bibsonomy.org/bibtex/229a76d871d8ec25f52bb214db76ab8c4/dblp}, booktitle = {FTRTFT}, crossref = {conf/ftrtft/1994}, editor = {Langmaack, Hans and de Roever, Willem P. and Vytopil, Jan}, ee = {https://doi.org/10.1007/3-540-58468-4_176}, interhash = {cbb1c0d2eee3ed11b3311e3c1d2de544}, intrahash = {29a76d871d8ec25f52bb214db76ab8c4}, isbn = {3-540-58468-4}, keywords = {dblp}, pages = {418-430}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:55:46.000+0200}, title = {Testing and Refinement for Nondeterministic and Probabilistic Processes.}, url = {http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1994.html#JonssonHW94}, volume = 863, year = 1994 }