%0 Conference Paper %1 conf/fsen/CaoW11 %A Cao, Zining %A Wang, Hui %B FSEN %D 2011 %E Arbab, Farhad %E Sirjani, Marjan %I Springer %K dblp %P 359-367 %T Extending Interface Automata with Z Notation. %U http://dblp.uni-trier.de/db/conf/fsen/fsen2011.html#CaoW11 %V 7141 %@ 978-3-642-29319-1

@inproceedings{conf/fsen/CaoW11, added-at = {2017-05-21T00:00:00.000+0200}, author = {Cao, Zining and Wang, Hui}, biburl = {https://www.bibsonomy.org/bibtex/2836fad2428b95c465a4678c07022acd7/dblp}, booktitle = {FSEN}, crossref = {conf/fsen/2011}, editor = {Arbab, Farhad and Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-642-29320-7_25}, interhash = {5234cd6384f71001064021c42d00276b}, intrahash = {836fad2428b95c465a4678c07022acd7}, isbn = {978-3-642-29319-1}, keywords = {dblp}, pages = {359-367}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:16:40.000+0200}, title = {Extending Interface Automata with Z Notation.}, url = {http://dblp.uni-trier.de/db/conf/fsen/fsen2011.html#CaoW11}, volume = 7141, year = 2011 }