Harsh Beohar
AuthID: R-00H-4B8
1
TITLE: Conditional transition systems with upgrades PDF
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Sci. Comput. Program., VOLUME: 186
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Sci. Comput. Program., VOLUME: 186
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv2
TITLE: A coalgebraic treatment of conditional transition systems with upgrades
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva; Thorsten Wißmann;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 1
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva; Thorsten Wißmann;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 1
INDEXED IN: DBLP
DBLP3
TITLE: Conditional transition systems with upgrades PDF
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva ;
PUBLISHED: 2017, SOURCE: 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017
INDEXED IN: DBLP arXiv
DBLP arXiv