%0 Conference Paper %1 conf/ifm/BryansBBD00 %A Bryans, Jeremy W. %A Blair, Lynne %A Bowman, Howard %A Derrick, John %B IFM %D 2000 %E Grieskamp, Wolfgang %E Santen, Thomas %E Stoddart, Bill %I Springer %K dblp %P 176-193 %T Specification and Analysis of Automata-Based Designs. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2000.html#BryansBBD00 %V 1945 %@ 3-540-41196-8

@inproceedings{conf/ifm/BryansBBD00, added-at = {2019-03-14T00:00:00.000+0100}, author = {Bryans, Jeremy W. and Blair, Lynne and Bowman, Howard and Derrick, John}, biburl = {https://www.bibsonomy.org/bibtex/2ea27adf72b95d30744683f69ea3b55ba/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2000}, editor = {Grieskamp, Wolfgang and Santen, Thomas and Stoddart, Bill}, ee = {https://doi.org/10.1007/3-540-40911-4_11}, interhash = {a8840471899c54f116018ce52fa4326c}, intrahash = {ea27adf72b95d30744683f69ea3b55ba}, isbn = {3-540-41196-8}, keywords = {dblp}, pages = {176-193}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:30.000+0200}, title = {Specification and Analysis of Automata-Based Designs.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2000.html#BryansBBD00}, volume = 1945, year = 2000 }