%0 Journal Article %1 journals/iee/ParizekP10 %A Parízek, Pavel %A Plásil, Frantisek %D 2010 %J IET Softw. %K dblp %N 3 %P 210-211 %T Assume-guarantee verification of software components in SOFA 2 framework. %U http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen4.html#ParizekP10 %V 4

@article{journals/iee/ParizekP10, added-at = {2023-06-26T00:00:00.000+0200}, author = {Parízek, Pavel and Plásil, Frantisek}, biburl = {https://www.bibsonomy.org/bibtex/22ccc4cb0cdb41e2b8081aaedcc1df37b/dblp}, ee = {https://www.wikidata.org/entity/Q58028917}, interhash = {48388bd9adebfb4f1b152ad819180b2d}, intrahash = {2ccc4cb0cdb41e2b8081aaedcc1df37b}, journal = {IET Softw.}, keywords = {dblp}, number = 3, pages = {210-211}, timestamp = {2024-04-08T11:01:31.000+0200}, title = {Assume-guarantee verification of software components in SOFA 2 framework.}, url = {http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen4.html#ParizekP10}, volume = 4, year = 2010 }