%0 Conference Paper %1 conf/nato/Harel92 %A Harel, David %B NATO ASI PDC %D 1992 %E Broy, Manfred %I Springer %K dblp %P 265-284 %T How Hard is it to Reason about Propositional Programs? %U http://dblp.uni-trier.de/db/conf/nato/pdc1992.html#Harel92 %V 118 %@ 978-3-662-02880-3

@inproceedings{conf/nato/Harel92, added-at = {2017-05-14T00:00:00.000+0200}, author = {Harel, David}, biburl = {https://www.bibsonomy.org/bibtex/2201929ae408003676564b7657e443536/dblp}, booktitle = {NATO ASI PDC}, crossref = {conf/nato/1992pdc}, editor = {Broy, Manfred}, ee = {https://doi.org/10.1007/978-3-662-02880-3_9}, interhash = {d06957a4e6d3918b93356fdd360b23ae}, intrahash = {201929ae408003676564b7657e443536}, isbn = {978-3-662-02880-3}, keywords = {dblp}, pages = {265-284}, publisher = {Springer}, series = {NATO ASI Series}, timestamp = {2024-04-09T19:34:06.000+0200}, title = {How Hard is it to Reason about Propositional Programs?}, url = {http://dblp.uni-trier.de/db/conf/nato/pdc1992.html#Harel92}, volume = 118, year = 1992 }