%0 Conference Paper %1 conf/zum/MatthewsS00 %A Matthews, Chris %A Swatman, Paul A. %B ZB %D 2000 %E Bowen, Jonathan P. %E Dunne, Steve %E Galloway, Andy %E King, Steve %I Springer %K dblp %P 491-510 %T Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. %U http://dblp.uni-trier.de/db/conf/zum/zb2000.html#MatthewsS00 %V 1878 %@ 3-540-67944-8

@inproceedings{conf/zum/MatthewsS00, added-at = {2017-05-21T00:00:00.000+0200}, author = {Matthews, Chris and Swatman, Paul A.}, biburl = {https://www.bibsonomy.org/bibtex/2c94ea76a17ee84c9004e9815a147e269/dblp}, booktitle = {ZB}, crossref = {conf/zum/2000}, editor = {Bowen, Jonathan P. and Dunne, Steve and Galloway, Andy and King, Steve}, ee = {https://doi.org/10.1007/3-540-44525-0_29}, interhash = {2f06e5ab70932dcc81fce76ad9c294f1}, intrahash = {c94ea76a17ee84c9004e9815a147e269}, isbn = {3-540-67944-8}, keywords = {dblp}, pages = {491-510}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:07:22.000+0200}, title = {Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z.}, url = {http://dblp.uni-trier.de/db/conf/zum/zb2000.html#MatthewsS00}, volume = 1878, year = 2000 }