CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  BibTeX Generator Login  
   
banner bottom
[ BibTeX Generator ]
Go to the bibtex generator form
In Proceedings   
Ana Paula Maldonado ( 1 publications )
Sunday 22nd of July 2018 07:26:10 AM


*** In Proceedings ( 1 ) ***

@inproceedings{ apm-lm-mr-wadt2010,
        author = { apm and L. Monteiro and Markus Roggenbach },
        title = { Towards Bi-Algebraic Semantics for the Linear Time – Branching Time Spectrum },
        booktitle = { Recent Trends in Algebraic Development Techniques },
        publisher = { Springer-Verlag },
        editor = { Hans-Jörg Kreowski and Till Mossakowski },
        year = { 2012 },
        series = { Lecture Notes in Computer Science },
        number = { 7137 },
        pages = { 209-225 }
}