%0 Conference Paper %1 conf/imcsit/Man08 %A Man, Ka Lok %B IMCSIT %D 2008 %I IEEE %K dblp %P 535-542 %T PAFSV: A process algebraic framework for SystemVerilog. %U http://dblp.uni-trier.de/db/conf/imcsit/imcsit2008.html#Man08 %@ 978-83-60810-14-9

@inproceedings{conf/imcsit/Man08, added-at = {2010-07-21T16:07:19.000+0200}, author = {Man, Ka Lok}, biburl = {https://www.bibsonomy.org/bibtex/2d595e196f8252911d81879c1195aadee/dblp}, booktitle = {IMCSIT}, crossref = {conf/imcsit/2008}, date = {2010-05-26}, ee = {http://dx.doi.org/10.1109/IMCSIT.2008.4747295}, interhash = {2222d6edbb8068fe5e3f0e32d0c1f80c}, intrahash = {d595e196f8252911d81879c1195aadee}, isbn = {978-83-60810-14-9}, keywords = {dblp}, pages = {535-542}, publisher = {IEEE}, timestamp = {2010-07-21T16:07:20.000+0200}, title = {PAFSV: A process algebraic framework for SystemVerilog.}, url = {http://dblp.uni-trier.de/db/conf/imcsit/imcsit2008.html#Man08}, year = 2008 }