Modal Fixed Point Logics. Jäger, G. In J. Esparza, B. Spanfelner, & O. Grumberg, editors, Logics and Languages for Reliability and Security, volume 25, of NATO Science for Peace and Security Series - D: Information and Communication Security, 2010. IOS Press. Paper doi bibtex @InProceedings{jae10,
Author = {J{\"a}ger, Gerhard},
Title = {Modal {F}ixed {P}oint {L}ogics},
BookTitle = {Logics and {L}anguages for {R}eliability and
{S}ecurity},
Editor = {{J. Esparza} and {B. Spanfelner} and {O. Grumberg}},
Volume = {25},
Series = {NATO Science for Peace and Security Series - D:
Information and Communication Security},
Publisher = {IOS Press},
doi = {10.3233/978-1-60750-100-8-129},
url = {2010/jae10.pdf},
year = 2010
}
Downloads: 0
{"_id":"uWm9cShqmdNpYbErd","bibbaseid":"jger-modalfixedpointlogics-2010","authorIDs":[],"author_short":["Jäger, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Jäger"],"firstnames":["Gerhard"],"suffixes":[]}],"title":"Modal Fixed Point Logics","booktitle":"Logics and Languages for Reliability and Security","editor":[{"firstnames":[],"propositions":[],"lastnames":["J. Esparza"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["B. Spanfelner"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["O. Grumberg"],"suffixes":[]}],"volume":"25","series":"NATO Science for Peace and Security Series - D: Information and Communication Security","publisher":"IOS Press","doi":"10.3233/978-1-60750-100-8-129","url":"2010/jae10.pdf","year":"2010","bibtex":"@InProceedings{jae10,\n Author = {J{\\\"a}ger, Gerhard},\n Title = {Modal {F}ixed {P}oint {L}ogics},\n BookTitle = {Logics and {L}anguages for {R}eliability and\n {S}ecurity},\n Editor = {{J. Esparza} and {B. Spanfelner} and {O. Grumberg}},\n Volume = {25},\n Series = {NATO Science for Peace and Security Series - D:\n Information and Communication Security},\n Publisher = {IOS Press},\n doi = {10.3233/978-1-60750-100-8-129},\n url = {2010/jae10.pdf},\n year = 2010\n}\n\n\n\n","author_short":["Jäger, G."],"editor_short":["J. Esparza","B. Spanfelner","O. Grumberg"],"key":"jae10","id":"jae10","bibbaseid":"jger-modalfixedpointlogics-2010","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2010/jae10.pdf"},"downloads":0},"bibtype":"inproceedings","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.089Z","downloads":0,"keywords":[],"search_terms":["modal","fixed","point","logics","jäger"],"title":"Modal Fixed Point Logics","year":2010,"dataSources":["jFQMeatnEb8qn3qdH"]}