%0 Conference Paper %1 conf/icfem/TaguchiA97 %A Taguchi, Kenji %A Araki, Keijiro %B ICFEM %D 1997 %I IEEE Computer Society %K dblp %P 283-292 %T The State-Based CCS Semantics for Concurrent Z Specification. %U http://dblp.uni-trier.de/db/conf/icfem/icfem1997.html#TaguchiA97 %@ 0-8186-8002-4

@inproceedings{conf/icfem/TaguchiA97, added-at = {2023-03-23T00:00:00.000+0100}, author = {Taguchi, Kenji and Araki, Keijiro}, biburl = {https://www.bibsonomy.org/bibtex/28bf792bd4e388a75bb0eef4f0f3d57ad/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/1997}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICFEM.1997.630435}, interhash = {b85b224717895b604bcc0283e95f3c82}, intrahash = {8bf792bd4e388a75bb0eef4f0f3d57ad}, isbn = {0-8186-8002-4}, keywords = {dblp}, pages = {283-292}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:16:30.000+0200}, title = {The State-Based CCS Semantics for Concurrent Z Specification.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem1997.html#TaguchiA97}, year = 1997 }