%0 Conference Paper %1 conf/pci/EleftherakisK08 %A Eleftherakis, George %A Kefalas, Petros %B Panhellenic Conference on Informatics %D 2008 %I IEEE Computer Society %K %P 227-231 %T Formal Verification of Generalised State Machines. %U http://dblp.uni-trier.de/db/conf/pci/pci2008.html#EleftherakisK08 %@ 978-0-7695-3323-0

@inproceedings{conf/pci/EleftherakisK08, added-at = {2023-12-13T05:00:23.000+0100}, author = {Eleftherakis, George and Kefalas, Petros}, biburl = {https://www.bibsonomy.org/bibtex/2627c0c938020c9d6e9979387296ff554/admin}, booktitle = {Panhellenic Conference on Informatics}, crossref = {conf/pci/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/PCI.2008.22}, interhash = {9d39565c83bf97e186d43dd27c01c5d4}, intrahash = {627c0c938020c9d6e9979387296ff554}, isbn = {978-0-7695-3323-0}, keywords = {}, pages = {227-231}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T05:00:23.000+0100}, title = {Formal Verification of Generalised State Machines.}, url = {http://dblp.uni-trier.de/db/conf/pci/pci2008.html#EleftherakisK08}, year = 2008 }