%0 Conference Paper %1 conf/concur/Alur00 %A Alur, Rajeev %B CONCUR %D 2000 %E Palamidessi, Catuscia %I Springer %K dblp %P 66-68 %T Exploiting Hierarchical Structure for Efficient Formal Verification. %U http://dblp.uni-trier.de/db/conf/concur/concur2000.html#Alur00 %V 1877 %@ 3-540-67897-2

@inproceedings{conf/concur/Alur00, added-at = {2017-05-23T00:00:00.000+0200}, author = {Alur, Rajeev}, biburl = {https://www.bibsonomy.org/bibtex/231b5112e072f1e34ab60c69a86174888/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2000}, editor = {Palamidessi, Catuscia}, ee = {https://doi.org/10.1007/3-540-44618-4_6}, interhash = {48be573c126e12d60d3d75e66a0b4d94}, intrahash = {31b5112e072f1e34ab60c69a86174888}, isbn = {3-540-67897-2}, keywords = {dblp}, pages = {66-68}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:29.000+0200}, title = {Exploiting Hierarchical Structure for Efficient Formal Verification.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2000.html#Alur00}, volume = 1877, year = 2000 }