%0 Conference Paper %1 conf/softeks/AlagarDA93 %A Alagar, Vangalur S. %A Dong, Fangqing %A Achuthan, Ramesh %B SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems %D 1993 %E Alagar, Vangalur S. %E Bergler, Sabine %E Dong, Fangqing %I Springer %K dblp %P 117-130 %T Completeness in Statechart Models for Reactive Systems. %U http://dblp.uni-trier.de/db/conf/softeks/softeks1993.html#AlagarDA93 %@ 3-540-19897-0

@inproceedings{conf/softeks/AlagarDA93, added-at = {2003-02-26T00:00:00.000+0100}, author = {Alagar, Vangalur S. and Dong, Fangqing and Achuthan, Ramesh}, biburl = {https://www.bibsonomy.org/bibtex/2af28bf5c705b4b3e92b8e4e6b66231d7/dblp}, booktitle = {SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems}, crossref = {conf/softeks/1993}, date = {2003-02-26}, description = {dblp}, editor = {Alagar, Vangalur S. and Bergler, Sabine and Dong, Fangqing}, interhash = {2cb0fde3c3df2250a53345313fb2c7e9}, intrahash = {af28bf5c705b4b3e92b8e4e6b66231d7}, isbn = {3-540-19897-0}, keywords = {dblp}, pages = {117-130}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2009-05-23T11:36:09.000+0200}, title = {Completeness in Statechart Models for Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/softeks/softeks1993.html#AlagarDA93}, year = 1993 }