%0 Journal Article %1 journals/flap/Fernandez-Duque18 %A Fernández-Duque, David %A Iliev, Petar %D 2018 %J FLAP %K dblp %N 4 %P 827-874 %T Succinctness in Subsystems of the Spatial μ-Calculus. %U http://dblp.uni-trier.de/db/journals/flap/flap5.html#Fernandez-Duque18 %V 5

@article{journals/flap/Fernandez-Duque18, added-at = {2020-03-12T00:00:00.000+0100}, author = {Fernández-Duque, David and Iliev, Petar}, biburl = {https://www.bibsonomy.org/bibtex/2d49ef7507a94adf37717011d345cc5cd/dblp}, ee = {https://www.collegepublications.co.uk/downloads/ifcolog00024.pdf}, interhash = {e0f21b27111ecadc7b62a427691b37ad}, intrahash = {d49ef7507a94adf37717011d345cc5cd}, journal = {FLAP}, keywords = {dblp}, number = 4, pages = {827-874}, timestamp = {2020-03-13T11:48:08.000+0100}, title = {Succinctness in Subsystems of the Spatial μ-Calculus.}, url = {http://dblp.uni-trier.de/db/journals/flap/flap5.html#Fernandez-Duque18}, volume = 5, year = 2018 }