%0 Conference Paper %1 conf/rtcsa/ShimadaN11 %A Shimada, Hiromasa %A Nakajima, Tatsuo %B RTCSA (2) %D 2011 %I IEEE Computer Society %K dblp %P 122-125 %T External Integrity Checking with Invariants. %U http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2011-2.html#ShimadaN11

@inproceedings{conf/rtcsa/ShimadaN11, added-at = {2023-03-23T00:00:00.000+0100}, author = {Shimada, Hiromasa and Nakajima, Tatsuo}, biburl = {https://www.bibsonomy.org/bibtex/23d5b6e63647181ebdfea7c3246a475c6/dblp}, booktitle = {RTCSA (2)}, crossref = {conf/rtcsa/2011-2}, ee = {https://doi.ieeecomputersociety.org/10.1109/RTCSA.2011.52}, interhash = {777800ed662afbb321e832ef2837f0f2}, intrahash = {3d5b6e63647181ebdfea7c3246a475c6}, keywords = {dblp}, note = {978-1-4577-1118-3}, pages = {122-125}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:42:22.000+0200}, title = {External Integrity Checking with Invariants.}, url = {http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2011-2.html#ShimadaN11}, year = 2011 }