%0 Conference Paper %1 conf/forte/HigashinoNIT95 %A Higashino, Teruo %A Nakata, Akio %A Itoh, Tatsuo %A Taniguchi, Kenichi %B FORTE %D 1995 %E von Bochmann, Gregor %E Dssouli, Rachida %E Rafiq, Omar %I Chapman & Hall %K dblp %P 433-440 %T Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. %U http://dblp.uni-trier.de/db/conf/forte/forte1995.html#HigashinoNIT95 %V 43 %@ 0-412-73270-X

@inproceedings{conf/forte/HigashinoNIT95, added-at = {2002-01-03T00:00:00.000+0100}, author = {Higashino, Teruo and Nakata, Akio and Itoh, Tatsuo and Taniguchi, Kenichi}, biburl = {https://www.bibsonomy.org/bibtex/20e1316054a3f80198810278da71aea5e/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1995}, date = {2002-01-03}, description = {dblp}, editor = {von Bochmann, Gregor and Dssouli, Rachida and Rafiq, Omar}, interhash = {dae965edc265c54b3fa4da72f6b52766}, intrahash = {0e1316054a3f80198810278da71aea5e}, isbn = {0-412-73270-X}, keywords = {dblp}, pages = {433-440}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1995.html#HigashinoNIT95}, volume = 43, year = 1995 }