%0 Conference Paper %1 conf/forte/ParkDD97 %A Park, Seungjoon %A Das, Satyaki %A Dill, David L. %B FORTE %D 1997 %E Togashi, Atsushi %E Mizuno, Tadanori %E Shiratori, Norio %E Higashino, Teruo %I Chapman & Hall %K dblp %P 207-222 %T Automatic Checking of Aggregation Abstractions Through State Enumeration. %U http://dblp.uni-trier.de/db/conf/forte/forte1997.html#ParkDD97 %V 107 %@ 0-412-82060-9

@inproceedings{conf/forte/ParkDD97, added-at = {2003-02-12T00:00:00.000+0100}, author = {Park, Seungjoon and Das, Satyaki and Dill, David L.}, biburl = {https://www.bibsonomy.org/bibtex/2f7752dc16f4b2e7ce6d8282b97396302/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1997}, date = {2003-02-12}, description = {dblp}, editor = {Togashi, Atsushi and Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo}, interhash = {9dbb071b3cea08504b914692f21f6b95}, intrahash = {f7752dc16f4b2e7ce6d8282b97396302}, isbn = {0-412-82060-9}, keywords = {dblp}, pages = {207-222}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2003-02-12T00:00:00.000+0100}, title = {Automatic Checking of Aggregation Abstractions Through State Enumeration.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1997.html#ParkDD97}, volume = 107, year = 1997 }