%0 Conference Paper %1 conf/pdpta/Goldsmith99 %A Goldsmith, Michael %B PDPTA %D 1999 %E Arabnia, Hamid R. %I CSREA Press %K dblp %P 273-278 %T Challenges to Process-Algebraic Property-Checking. %U http://dblp.uni-trier.de/db/conf/pdpta/pdpta1999-1.html#Goldsmith99 %@ 1-892512-15-7

@inproceedings{conf/pdpta/Goldsmith99, added-at = {2004-04-20T00:00:00.000+0200}, author = {Goldsmith, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2eaceaf9b27fe601bd656bf936c34b46c/dblp}, booktitle = {PDPTA}, crossref = {conf/pdpta/1999}, editor = {Arabnia, Hamid R.}, interhash = {2838b7bc3f869d3479da93d0bacc882e}, intrahash = {eaceaf9b27fe601bd656bf936c34b46c}, isbn = {1-892512-15-7}, keywords = {dblp}, pages = {273-278}, publisher = {CSREA Press}, timestamp = {2016-02-02T12:38:47.000+0100}, title = {Challenges to Process-Algebraic Property-Checking.}, url = {http://dblp.uni-trier.de/db/conf/pdpta/pdpta1999-1.html#Goldsmith99}, year = 1999 }